Searched refs:graphViewButton (Results 1 – 1 of 1) sorted by relevance
170 private JToggleButton graphViewButton; field in Workspace338 graphViewButton = new JToggleButton(IconLoader.load(getClass(), in buildStatusPanel()340 graphViewButton.setSelectedIcon(IconLoader.load(getClass(), in buildStatusPanel()342 graphViewButton.putClientProperty("JButton.buttonType", "segmentedTextured"); in buildStatusPanel()343 graphViewButton.putClientProperty("JButton.segmentPosition", "first"); in buildStatusPanel()344 graphViewButton.addActionListener(new ActionListener() { in buildStatusPanel()349 group.add(graphViewButton); in buildStatusPanel()350 leftSide.add(graphViewButton); in buildStatusPanel()366 graphViewButton.setSelected(true); in buildStatusPanel()724 graphViewButton.setEnabled(true); in createGraph()[all …]