Preserve selection on refresh #18

This commit is contained in:
Zlatin Balevsky
2019-10-05 05:13:49 +01:00
parent 7de7c9d8f3
commit 5bc8fa8633

View File

@@ -40,11 +40,15 @@ class ContentPanelModel {
}
void refresh() {
int selectedRule = view.getSelectedRule()
rules.clear()
rules.addAll(contentManager.matchers)
hits.clear()
view.rulesTable.model.fireTableDataChanged()
view.hitsTable.model.fireTableDataChanged()
if (selectedRule >= 0) {
view.rulesTable.selectionModel.setSelectionInterval(selectedRule,selectedRule)
}
}
void onContentControlEvent(ContentControlEvent e) {