Searched refs:propertiesTable (Results 1 – 1 of 1) sorted by relevance
133 private JTable propertiesTable; field in Workspace286 propertiesTable = new JTable(); in buildSideSplitter()287 propertiesTable.setModel(new DefaultTableModel(new Object[][] { }, in buildSideSplitter()289 propertiesTable.setBorder(null); in buildSideSplitter()290 propertiesTable.getTableHeader().setBorder(null); in buildSideSplitter()292 JScrollPane tableScroller = new JScrollPane(propertiesTable); in buildSideSplitter()664 propertiesTable.setModel(new PropertiesTableModel(node)); in showProperties()