Searched refs:refreshButton (Results 1 – 2 of 2) 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()
506 Button refreshButton = new Button(wrapper, SWT.PUSH | SWT.FLAT); in reloadPalette()507 refreshButton.setLayoutData(new GridData(SWT.CENTER, SWT.CENTER, in reloadPalette()509 refreshButton.setText("Refresh"); in reloadPalette()510 … refreshButton.setImage(IconFactory.getInstance().getIcon("refresh")); //$NON-NLS-1$ in reloadPalette()511 refreshButton.addSelectionListener(new SelectionAdapter() { in reloadPalette()