Searched refs:tableScroller (Results 1 – 1 of 1) sorted by relevance
292 JScrollPane tableScroller = new JScrollPane(propertiesTable); in buildSideSplitter() local293 tableScroller.setBorder(null); in buildSideSplitter()313 tablesSplitter.setBottomComponent(tableScroller); in buildSideSplitter()