X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java index d3414ec..60f8e03 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java @@ -17,6 +17,7 @@ import net.sourceforge.phpeclipse.IPreferenceConstants; import net.sourceforge.phpeclipse.PHPeclipsePlugin; import net.sourceforge.phpeclipse.phpeditor.util.PHPColorProvider; +import org.eclipse.core.runtime.Platform; import org.eclipse.jface.action.Action; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.preference.PreferenceConverter; @@ -1090,29 +1091,6 @@ public class PreferenceConstants { public final static String EDITOR_OVERVIEW_RULER = "overviewRuler"; //$NON-NLS-1$ /** - * A named preference that controls if the line number ruler is shown in the - * UI. - *
- * Value is of type Boolean
.
- *
- * Value is of type String
. A RGB color value encoded as a
- * string using class PreferenceConverter
- *
@@ -2759,11 +2737,6 @@ public class PreferenceConstants { store.setDefault(PreferenceConstants.EDITOR_OVERVIEW_RULER, true); - store.setDefault(PreferenceConstants.EDITOR_LINE_NUMBER_RULER, false); - PreferenceConverter.setDefault(store, - PreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR, new RGB(0, - 0, 0)); - // WorkbenchChainedTextFontFieldEditor.startPropagate(store, // JFaceResources.TEXT_FONT); @@ -2954,7 +2927,10 @@ public class PreferenceConstants { store.setDefault(PreferenceConstants.EDITOR_CTRL_ALT_SHIFT_HOVER, PreferenceConstants.EDITOR_DEFAULT_HOVER_CONFIGURED_ID); - String ctrl = Action.findModifierString(SWT.CTRL); + int modifier = SWT.CTRL; + if (Platform.getOS().equals(Platform.OS_MACOSX)) + modifier = SWT.COMMAND; + String ctrl = Action.findModifierString(modifier); store .setDefault( PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIERS, @@ -2962,7 +2938,7 @@ public class PreferenceConstants { store .setDefault( PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS, - "net.sourceforge.phpdt.ui.BestMatchHover;0;net.sourceforge.phpdt.ui.JavaSourceHover;" + SWT.CTRL); //$NON-NLS-1$ + "net.sourceforge.phpdt.ui.BestMatchHover;0;net.sourceforge.phpdt.ui.JavaSourceHover;" + modifier); //$NON-NLS-1$ store.setDefault(PreferenceConstants.EDITOR_SHOW_TEXT_HOVER_AFFORDANCE, true); @@ -2973,7 +2949,7 @@ public class PreferenceConstants { store .setDefault( PreferenceConstants.EDITOR_BROWSER_LIKE_LINKS_KEY_MODIFIER_MASK, - SWT.CTRL); + modifier); // mark occurrences store.setDefault(PreferenceConstants.EDITOR_MARK_OCCURRENCES, true);