17 package com.generalrobotix.ui.util;
19 import org.eclipse.jface.dialogs.MessageDialog;
20 import org.eclipse.swt.SWT;
21 import org.eclipse.swt.events.SelectionEvent;
22 import org.eclipse.swt.events.SelectionListener;
23 import org.eclipse.swt.events.ModifyEvent;
24 import org.eclipse.swt.events.ModifyListener;
25 import org.eclipse.swt.layout.GridData;
26 import org.eclipse.swt.layout.GridLayout;
27 import org.eclipse.swt.widgets.Button;
28 import org.eclipse.swt.widgets.Composite;
29 import org.eclipse.swt.widgets.FileDialog;
30 import org.eclipse.swt.widgets.Label;
31 import org.eclipse.swt.widgets.Text;
32 import org.eclipse.swt.widgets.TabFolder;
33 import org.eclipse.osgi.util.NLS;
73 Composite localPanel =
this;
74 localPanel.setLayoutData(
new GridData(GridData.HORIZONTAL_ALIGN_FILL |
75 GridData.GRAB_HORIZONTAL | GridData.VERTICAL_ALIGN_CENTER));
77 GridLayout localGridLayout =
new GridLayout(4,
false);
79 localGridLayout.marginLeft = 0;
80 localGridLayout.horizontalSpacing = 0;
81 localPanel.setLayout(localGridLayout);
83 Label localLabelPath =
new Label(localPanel, SWT.RIGHT);
84 localLabelPath.setText(
MessageBundle.
get(
"GrxServerManagerPanel.label.path"));
85 GridData labelPathGridData =
new GridData();
88 pathText_ =
new Text(localPanel, SWT.BORDER);
89 GridData pathGridData =
new GridData(GridData.FILL_HORIZONTAL);
93 pathText_.addModifyListener(
new ModifyListener() {
94 public void modifyText(ModifyEvent e){
99 Button localRefButton =
new Button(localPanel, SWT.PUSH);
100 localRefButton.setText(
"...");
101 GridData refbtnGridData =
new GridData();
107 GridData rstbtnGridData =
new GridData();
111 Label localLabelArgs =
new Label(localPanel, SWT.RIGHT);
112 localLabelArgs.setText(
MessageBundle.
get(
"GrxServerManagerPanel.label.args"));
113 GridData labelArgsGridData =
new GridData();
116 argsText_ =
new Text(localPanel, SWT.BORDER);
117 GridData argsGridData =
new GridData(GridData.FILL_HORIZONTAL);
121 argsText_.addModifyListener(
new ModifyListener() {
122 public void modifyText(ModifyEvent e){
130 if ( process!=
null && process.
isRunning() ) {
138 localRefButton.addSelectionListener(
new SelectionListener() {
139 public void widgetDefaultSelected(SelectionEvent e) {}
141 public void widgetSelected(SelectionEvent e) {
147 public void widgetDefaultSelected(SelectionEvent e) {}
149 public void widgetSelected(SelectionEvent e) {
155 public void widgetDefaultSelected(SelectionEvent e) {}
157 public void widgetSelected(SelectionEvent e) {
162 GridData btnGridData =
new GridData();
165 btnGridData.horizontalAlignment = SWT.END;
166 btnGridData.horizontalSpan = 2;
168 Label localLabelAuto =
new Label(localPanel, SWT.RIGHT | SWT.FILL);
169 localLabelAuto.setText(
MessageBundle.
get(
"GrxServerManagerPanel.label.start"));
170 GridData labelAutoGridData =
new GridData(GridData.FILL_HORIZONTAL);
171 labelAutoGridData.horizontalSpan = 2;
175 GridData chkbtnGridData =
new GridData();
179 autoChkBox_.addSelectionListener(
new SelectionListener() {
180 public void widgetDefaultSelected(SelectionEvent e){}
182 public void widgetSelected(SelectionEvent e){
187 Label localLabelUseORB =
new Label(localPanel, SWT.RIGHT | SWT.FILL);
188 localLabelUseORB.setText(
MessageBundle.
get(
"GrxServerManagerPanel.label.useeRef"));
189 GridData labelUseORBGridData =
new GridData(GridData.FILL_HORIZONTAL);
190 labelUseORBGridData.horizontalSpan = 2;
194 GridData UseORBchkbtnGridData =
new GridData();
198 useORBChkBox_.addSelectionListener(
new SelectionListener() {
199 public void widgetDefaultSelected(SelectionEvent e){}
201 public void widgetSelected(SelectionEvent e){
206 localLabelPath.setLayoutData(labelPathGridData);
208 localRefButton.setLayoutData(refbtnGridData);
210 localLabelArgs.setLayoutData(labelArgsGridData);
213 localLabelAuto.setLayoutData(labelAutoGridData);
215 localLabelUseORB.setLayoutData(labelUseORBGridData);
233 String[] filterNames =
new String[] {
MessageBundle.
get(
"GrxServerManagerPanel.filedialog.filterName") };
234 String[] filterExtensions =
new String[] {
"*" };
238 fileDlg.setFilterNames(filterNames);
239 fileDlg.setFilterExtensions(filterExtensions);
242 fileDlg.setText(
MessageBundle.
get(
"GrxServerManagerPanel.filedialog.title") + strServerName);
248 String mes =
MessageBundle.
get(
"GrxServerManagerPanel.dialog.message.update");
271 String mes =
MessageBundle.
get(
"GrxServerManagerPanel.dialog.message.restart");
286 if(process==
null || !process.
isRunning()){
295 this.getShell(),title,
307 this.getShell(),title,
317 this.getShell(),title,