Lines 1-5
Link Here
|
1 |
/******************************************************************************* |
1 |
/******************************************************************************* |
2 |
* Copyright (c) 2004, 2009 Tasktop Technologies and others. |
2 |
* Copyright (c) 2004, 2010 Tasktop Technologies and others. |
3 |
* All rights reserved. This program and the accompanying materials |
3 |
* All rights reserved. This program and the accompanying materials |
4 |
* are made available under the terms of the Eclipse Public License v1.0 |
4 |
* are made available under the terms of the Eclipse Public License v1.0 |
5 |
* which accompanies this distribution, and is available at |
5 |
* which accompanies this distribution, and is available at |
Lines 62-67
Link Here
|
62 |
/** |
62 |
/** |
63 |
* @author Mik Kersten |
63 |
* @author Mik Kersten |
64 |
* @author Rob Elves |
64 |
* @author Rob Elves |
|
|
65 |
* @author David Green |
65 |
*/ |
66 |
*/ |
66 |
public class TasksUiPreferencePage extends PreferencePage implements IWorkbenchPreferencePage { |
67 |
public class TasksUiPreferencePage extends PreferencePage implements IWorkbenchPreferencePage { |
67 |
|
68 |
|
Lines 75-80
Link Here
|
75 |
|
76 |
|
76 |
private Button useRichEditor; |
77 |
private Button useRichEditor; |
77 |
|
78 |
|
|
|
79 |
private Button editorHighlightsCurrentLine; |
80 |
|
78 |
private Button useWebBrowser; |
81 |
private Button useWebBrowser; |
79 |
|
82 |
|
80 |
private Text synchScheduleTime = null; |
83 |
private Text synchScheduleTime = null; |
Lines 195-200
Link Here
|
195 |
//getPreferenceStore().setValue(TasksUiPreferenceConstants.BACKUP_SCHEDULE, backupScheduleTimeText.getText()); |
198 |
//getPreferenceStore().setValue(TasksUiPreferenceConstants.BACKUP_SCHEDULE, backupScheduleTimeText.getText()); |
196 |
|
199 |
|
197 |
getPreferenceStore().setValue(ITasksUiPreferenceConstants.EDITOR_TASKS_RICH, useRichEditor.getSelection()); |
200 |
getPreferenceStore().setValue(ITasksUiPreferenceConstants.EDITOR_TASKS_RICH, useRichEditor.getSelection()); |
|
|
201 |
getPreferenceStore().setValue(ITasksUiPreferenceConstants.EDITOR_CURRENT_LINE_HIGHLIGHT, |
202 |
editorHighlightsCurrentLine.getSelection()); |
198 |
getPreferenceStore().setValue(ITasksUiPreferenceConstants.REPOSITORY_SYNCH_SCHEDULE_ENABLED, |
203 |
getPreferenceStore().setValue(ITasksUiPreferenceConstants.REPOSITORY_SYNCH_SCHEDULE_ENABLED, |
199 |
enableBackgroundSynch.getSelection()); |
204 |
enableBackgroundSynch.getSelection()); |
200 |
long miliseconds = 60000 * Long.parseLong(synchScheduleTime.getText()); |
205 |
long miliseconds = 60000 * Long.parseLong(synchScheduleTime.getText()); |
Lines 260-265
Link Here
|
260 |
//backupFolderText.setText(TasksUiPlugin.getDefault().getBackupFolderPath()); |
265 |
//backupFolderText.setText(TasksUiPlugin.getDefault().getBackupFolderPath()); |
261 |
|
266 |
|
262 |
useRichEditor.setSelection(getPreferenceStore().getBoolean(ITasksUiPreferenceConstants.EDITOR_TASKS_RICH)); |
267 |
useRichEditor.setSelection(getPreferenceStore().getBoolean(ITasksUiPreferenceConstants.EDITOR_TASKS_RICH)); |
|
|
268 |
editorHighlightsCurrentLine.setSelection(getPreferenceStore().getBoolean( |
269 |
ITasksUiPreferenceConstants.EDITOR_CURRENT_LINE_HIGHLIGHT)); |
263 |
|
270 |
|
264 |
// synchQueries.setSelection(getPreferenceStore().getBoolean( |
271 |
// synchQueries.setSelection(getPreferenceStore().getBoolean( |
265 |
// TaskListPreferenceConstants.REPOSITORY_SYNCH_ON_STARTUP)); |
272 |
// TaskListPreferenceConstants.REPOSITORY_SYNCH_ON_STARTUP)); |
Lines 273-279
Link Here
|
273 |
weekStartCombo.select(getPreferenceStore().getInt(ITasksUiPreferenceConstants.WEEK_START_DAY) - 1); |
280 |
weekStartCombo.select(getPreferenceStore().getInt(ITasksUiPreferenceConstants.WEEK_START_DAY) - 1); |
274 |
//hourDayStart.setSelection(getPreferenceStore().getInt(TasksUiPreferenceConstants.PLANNING_STARTHOUR)); |
281 |
//hourDayStart.setSelection(getPreferenceStore().getInt(TasksUiPreferenceConstants.PLANNING_STARTHOUR)); |
275 |
// hourDayEnd.setSelection(getPreferenceStore().getInt(TasksUiPreferenceConstants.PLANNING_ENDHOUR)); |
282 |
// hourDayEnd.setSelection(getPreferenceStore().getInt(TasksUiPreferenceConstants.PLANNING_ENDHOUR)); |
276 |
//backupNow.setEnabled(true); |
283 |
//backupNow.setEnabled(true); |
277 |
int minutes = MonitorUiPlugin.getDefault().getPreferenceStore().getInt(ActivityContextManager.ACTIVITY_TIMEOUT) |
284 |
int minutes = MonitorUiPlugin.getDefault().getPreferenceStore().getInt(ActivityContextManager.ACTIVITY_TIMEOUT) |
278 |
/ MS_MINUTES; |
285 |
/ MS_MINUTES; |
279 |
timeoutMinutes.setSelection(minutes); |
286 |
timeoutMinutes.setSelection(minutes); |
Lines 308-313
Link Here
|
308 |
//backupScheduleTimeText.setText(getPreferenceStore().getDefaultString(TasksUiPreferenceConstants.BACKUP_SCHEDULE)); |
315 |
//backupScheduleTimeText.setText(getPreferenceStore().getDefaultString(TasksUiPreferenceConstants.BACKUP_SCHEDULE)); |
309 |
|
316 |
|
310 |
useRichEditor.setSelection(getPreferenceStore().getDefaultBoolean(ITasksUiPreferenceConstants.EDITOR_TASKS_RICH)); |
317 |
useRichEditor.setSelection(getPreferenceStore().getDefaultBoolean(ITasksUiPreferenceConstants.EDITOR_TASKS_RICH)); |
|
|
318 |
editorHighlightsCurrentLine.setSelection(getPreferenceStore().getDefaultBoolean( |
319 |
ITasksUiPreferenceConstants.EDITOR_CURRENT_LINE_HIGHLIGHT)); |
311 |
|
320 |
|
312 |
taskListTooltipEnabledButton.setSelection(getPreferenceStore().getDefaultBoolean( |
321 |
taskListTooltipEnabledButton.setSelection(getPreferenceStore().getDefaultBoolean( |
313 |
ITasksUiPreferenceConstants.TASK_LIST_TOOL_TIPS_ENABLED)); |
322 |
ITasksUiPreferenceConstants.TASK_LIST_TOOL_TIPS_ENABLED)); |
Lines 383-389
Link Here
|
383 |
|
392 |
|
384 |
private void createTaskEditorGroup(Composite parent) { |
393 |
private void createTaskEditorGroup(Composite parent) { |
385 |
Group container = new Group(parent, SWT.SHADOW_ETCHED_IN); |
394 |
Group container = new Group(parent, SWT.SHADOW_ETCHED_IN); |
386 |
container.setLayout(new GridLayout(3, false)); |
395 |
container.setLayout(new GridLayout(2, false)); |
387 |
container.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); |
396 |
container.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); |
388 |
|
397 |
|
389 |
container.setText(Messages.TasksUiPreferencePage_Task_Editing); |
398 |
container.setText(Messages.TasksUiPreferencePage_Task_Editing); |
Lines 393-398
Link Here
|
393 |
useWebBrowser = new Button(container, SWT.RADIO); |
402 |
useWebBrowser = new Button(container, SWT.RADIO); |
394 |
useWebBrowser.setText(Messages.TasksUiPreferencePage_Web_Browser); |
403 |
useWebBrowser.setText(Messages.TasksUiPreferencePage_Web_Browser); |
395 |
useWebBrowser.setSelection(!getPreferenceStore().getBoolean(ITasksUiPreferenceConstants.EDITOR_TASKS_RICH)); |
404 |
useWebBrowser.setSelection(!getPreferenceStore().getBoolean(ITasksUiPreferenceConstants.EDITOR_TASKS_RICH)); |
|
|
405 |
|
406 |
editorHighlightsCurrentLine = new Button(container, SWT.CHECK); |
407 |
editorHighlightsCurrentLine.setText(Messages.TasksUiPreferencePage_highlight_current_line); |
408 |
editorHighlightsCurrentLine.setSelection(getPreferenceStore().getBoolean( |
409 |
ITasksUiPreferenceConstants.EDITOR_CURRENT_LINE_HIGHLIGHT)); |
396 |
} |
410 |
} |
397 |
|
411 |
|
398 |
private void createTaskDataControl(Composite parent) { |
412 |
private void createTaskDataControl(Composite parent) { |