1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-01-05 21:34:17 +01:00

changed panel to use boxes

This commit is contained in:
kojima
2001-01-09 16:45:14 +00:00
parent 35c5908565
commit 22eb14c9d5
8 changed files with 117 additions and 55 deletions

View File

@@ -772,6 +772,10 @@ void WMSelectTableViewRow(WMTableView *table, int row)
{
if (table->clickedRow >= 0)
setRowSelected(table, table->clickedRow, False);
if (row <= table->rows)
return;
setRowSelected(table, row, True);
table->clickedRow = row;
@@ -788,6 +792,8 @@ void WMReloadTableView(WMTableView *table)
repaintTable(table, 0, 0,
W_VIEW_WIDTH(table->tableView), rect.size.height);
table->clickedRow = -1;
}