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