Searched refs:refreshButton (Results 1 – 1 of 1) sorted by relevance
169 private JButton refreshButton; field in Workspace466 refreshButton = new JButton(); in buildToolBar()467 refreshButton.setAction(actionsMap.get(RefreshWindowsAction.ACTION_NAME)); in buildToolBar()468 refreshButton.putClientProperty("JButton.buttonType", "segmentedTextured"); in buildToolBar()469 refreshButton.putClientProperty("JButton.segmentPosition", "last"); in buildToolBar()470 toolBar.add(refreshButton); in buildToolBar()935 refreshButton.setEnabled(false); in currentDeviceChanged()959 refreshButton.setEnabled(true); in checkForServerOnCurrentDevice()966 refreshButton.setEnabled(false); in checkForServerOnCurrentDevice()