mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
sm.runner: StatisticsPanel row selection fix
This commit is contained in:
+2
-1
@@ -284,7 +284,8 @@ public class StatisticsPanel implements DataProvider {
|
||||
public void run() {
|
||||
final int rowIndex = myTableModel.getIndexOf(proxy);
|
||||
if (rowIndex >= 0) {
|
||||
myStatisticsTableView.setRowSelectionInterval(rowIndex, rowIndex);
|
||||
final int rowIndexToView = myStatisticsTableView.convertRowIndexToView(rowIndex);
|
||||
myStatisticsTableView.setRowSelectionInterval(rowIndexToView, rowIndexToView);
|
||||
}
|
||||
}
|
||||
});
|
||||
|
||||
Reference in New Issue
Block a user