Lines 598-603
Link Here
|
598 |
(! wsPrefStore.contains(WorkspaceViewerProperties.GRIDSPACING))) { |
598 |
(! wsPrefStore.contains(WorkspaceViewerProperties.GRIDSPACING))) { |
599 |
IPreferenceStore preferenceStore = |
599 |
IPreferenceStore preferenceStore = |
600 |
(IPreferenceStore) getPreferencesHint().getPreferenceStore(); |
600 |
(IPreferenceStore) getPreferencesHint().getPreferenceStore(); |
|
|
601 |
// Set the ruler unit to 999 in order to force the setting |
602 |
// and then change it to the appropriate value |
603 |
wsPrefStore.setValue(WorkspaceViewerProperties.RULERUNIT, 999); |
601 |
wsPrefStore.setValue(WorkspaceViewerProperties.RULERUNIT, preferenceStore.getInt(IPreferenceConstants.PREF_RULER_UNITS)); |
604 |
wsPrefStore.setValue(WorkspaceViewerProperties.RULERUNIT, preferenceStore.getInt(IPreferenceConstants.PREF_RULER_UNITS)); |
602 |
wsPrefStore.setValue(WorkspaceViewerProperties.GRIDSPACING, preferenceStore.getDouble(IPreferenceConstants.PREF_GRID_SPACING)); |
605 |
wsPrefStore.setValue(WorkspaceViewerProperties.GRIDSPACING, preferenceStore.getDouble(IPreferenceConstants.PREF_GRID_SPACING)); |
603 |
} |
606 |
} |