myjava.gui.syntax.Painter getPainter() {
// update painter first
this.painter =
TypeColorEntry.toPainter(this.painter.getName(), Collections.list(listModel.elements()));
return this.painter;
}
private void saveExpansionState() {
Object root = companionsTable.getTreeTableModel().getRoot();
Enumeration<TreePath> paths = tree.getExpandedDescendants(new TreePath(root));
expandedPaths = Collections.list(paths);
}
