Searched refs:dumpDisplayListButton (Results 1 – 1 of 1) sorted by relevance
161 private JButton dumpDisplayListButton; field in Workspace491 dumpDisplayListButton = new JButton(); in buildToolBar()492 dumpDisplayListButton.setAction(actionsMap.get(DumpDisplayListAction.ACTION_NAME)); in buildToolBar()493 dumpDisplayListButton.putClientProperty("JButton.buttonType", "segmentedTextured"); in buildToolBar()494 dumpDisplayListButton.putClientProperty("JButton.segmentPosition", "middle"); in buildToolBar()521 commandButtonsPanel.remove(dumpDisplayListButton); in setupProtocolDependentToolbar()522 } else if (dumpDisplayListButton.getParent() == null) { in setupProtocolDependentToolbar()523 commandButtonsPanel.add(dumpDisplayListButton, in setupProtocolDependentToolbar()911 dumpDisplayListButton.setEnabled(false); in showDevicesSelector()941 dumpDisplayListButton.setEnabled(false); in currentDeviceChanged()[all …]