|
Lines 48-53
Link Here
|
| 48 |
private Button radio2; |
48 |
private Button radio2; |
| 49 |
private Text portText; |
49 |
private Text portText; |
| 50 |
|
50 |
|
|
|
51 |
private final static String LRE = "\u202A"; //$NON-NLS-1$ |
| 52 |
private final static String PDF = "\u202C"; //$NON-NLS-1$ |
| 53 |
|
| 51 |
/* |
54 |
/* |
| 52 |
* Listens for any change in the UI and checks for valid |
55 |
* Listens for any change in the UI and checks for valid |
| 53 |
* input and correct enablement. |
56 |
* input and correct enablement. |
|
Lines 111-117
Link Here
|
| 111 |
Preferences prefs = HelpBasePlugin.getDefault().getPluginPreferences(); |
114 |
Preferences prefs = HelpBasePlugin.getDefault().getPluginPreferences(); |
| 112 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_ON, checkbox.getSelection()); |
115 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_ON, checkbox.getSelection()); |
| 113 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_HOST, hostText.getText().trim()); |
116 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_HOST, hostText.getText().trim()); |
| 114 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_PATH, pathText.getText().trim()); |
117 |
String path = pathText.getText(); |
|
|
118 |
int index = path.lastIndexOf(LRE); |
| 119 |
if (index != -1) |
| 120 |
path = path.substring(index+LRE.length(),path.indexOf(PDF)).trim(); |
| 121 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_PATH, path); |
| 115 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_DEFAULT_PORT, radio1.getSelection()); |
122 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_DEFAULT_PORT, radio1.getSelection()); |
| 116 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_PORT, portText.getText().trim()); |
123 |
prefs.setValue(IHelpBaseConstants.P_KEY_REMOTE_HELP_PORT, portText.getText().trim()); |
| 117 |
|
124 |
|
|
Lines 209-214
Link Here
|
| 209 |
private void setValues(boolean isOn, String host, String path, boolean useDefaultPort, int port) { |
216 |
private void setValues(boolean isOn, String host, String path, boolean useDefaultPort, int port) { |
| 210 |
checkbox.setSelection(isOn); |
217 |
checkbox.setSelection(isOn); |
| 211 |
hostText.setText(host); |
218 |
hostText.setText(host); |
|
|
219 |
if (pathText.getOrientation() == SWT.RIGHT_TO_LEFT) |
| 220 |
path = LRE + path + PDF; |
| 212 |
pathText.setText(path); |
221 |
pathText.setText(path); |
| 213 |
radio1.setSelection(useDefaultPort); |
222 |
radio1.setSelection(useDefaultPort); |
| 214 |
radio2.setSelection(!useDefaultPort); |
223 |
radio2.setSelection(!useDefaultPort); |
