コード例 #1
0
  private void doEventLoop() {
    Shell splash = getSplash();
    while (fAuthenticated == false) {
      if (splash.getDisplay().readAndDispatch() == false) {
        splash.getDisplay().sleep();
      }
    }

    for (Control control : splash.getChildren()) {
      control.dispose();
    }

    String progressRectString = null;
    String messageRectString = null;
    String foregroundColorString = null;
    IProduct product = Platform.getProduct();
    if (product != null) {
      progressRectString = product.getProperty(IProductConstants.STARTUP_PROGRESS_RECT);
      messageRectString = product.getProperty(IProductConstants.STARTUP_MESSAGE_RECT);
      foregroundColorString = product.getProperty(IProductConstants.STARTUP_FOREGROUND_COLOR);
    }

    Rectangle progressRect =
        StringConverter.asRectangle(progressRectString, new Rectangle(5, 275, 445, 15));
    setProgressRect(progressRect);

    Rectangle messageRect =
        StringConverter.asRectangle(messageRectString, new Rectangle(0, 0, 0, 0));
    // new Rectangle(7, 252, 445, 20));
    setMessageRect(messageRect);

    getContent();
  }
コード例 #2
0
  /**
   * @see
   *     org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences()
   */
  public void initializeDefaultPreferences() {
    IPreferenceStore store = UnifiedEditorsPlugin.getDefault().getPreferenceStore();

    store.setDefault(com.aptana.ide.core.preferences.IPreferenceConstants.SHOW_LIVE_HELP, true);

    store.setDefault(IPreferenceConstants.CACHE_BUST_BROWSERS, true);
    store.setDefault(IPreferenceConstants.PIANO_KEY_DIFFERENCE, 7);
    store.setDefault(IPreferenceConstants.MATCH_BRACKETS, "true"); // $NON-NLS-1$
    store.setDefault(
        IPreferenceConstants.MATCH_BRACKETS_COLOR,
        StringConverter.asString(new RGB(150, 150, 150)));
    store.setDefault(IPreferenceConstants.SHOW_WHITESPACE, false);
    store.setDefault(IPreferenceConstants.ENABLE_WORD_WRAP, false);
    store.setDefault(IPreferenceConstants.USER_AGENT_PREFERENCE, "IE,Mozilla"); // $NON-NLS-1$
    store.setDefault(IPreferenceConstants.INSERT_ON_TAB, false);

    store.setDefault(AbstractTextEditor.PREFERENCE_NAVIGATION_SMART_HOME_END, false);
    store.setDefault(IPreferenceConstants.CONTENT_ASSIST_DELAY, 200);
    store.setDefault(IPreferenceConstants.COLORIZER_TEXT_HIGHLIGHT_ENABLED, false);
    store.setDefault(
        IPreferenceConstants.COLORIZER_TEXT_HIGHLIGHT_BACKGROUND_COLOR,
        StringConverter.asString(new RGB(212, 212, 212)));
    store.setDefault(IPreferenceConstants.COLORIZER_MAXCOLUMNS, 500);
    store.setDefault(IPreferenceConstants.EXPAND_EDITOR_OPTIONS, true);
    store.setDefault(IPreferenceConstants.EXPAND_TOKENS, true);
    store.setDefault(IPreferenceConstants.EXPAND_REGIONS, false);
    store.setDefault(IPreferenceConstants.SHOW_ERRORS, true);
    store.setDefault(IPreferenceConstants.SHOW_WARNINGS, false);
    store.setDefault(IPreferenceConstants.SHOW_INFOS, false);
    store.setDefault(IPreferenceConstants.DRAG_AND_DROP_ENABLED, true);
    store.setDefault(IPreferenceConstants.SORT_OUTLINE_ALPHABETICALLY, false);
    store.setDefault(IPreferenceConstants.PARSER_OFF_UI, true);

    // Tasks
    store.setDefault(IPreferenceConstants.COMPILER_TASK_CASE_SENSITIVE, true);
    store.setDefault(IPreferenceConstants.COMPILER_TASK_TAGS, "TODO,FIXME,XXX,OPTIMIZE");
    store.setDefault(IPreferenceConstants.COMPILER_TASK_PRIORITIES, "NORMAL,HIGH,NORMAL,LOW");

    // These two _must_ be set as a preference, or UnifiedEditor will crash
    // hard without
    // warning on initialization.
    // store.setDefault(ColorizerPreferencePage.HRD_SET, "default");
    // store.setDefault(ColorizerPreferencePage.USE_BACK, true);
    //
    // store.setDefault(ColorizerPreferencePage.FULL_BACK, true);
    // store.setDefault(ColorizerPreferencePage.PAIRS_MATCH,
    // "PAIRS_OUTLINE");
    //
    // store.setDefault(ColorizerPreferencePage.HORZ_CROSS, true);
    // store.setDefault(ColorizerPreferencePage.VERT_CROSS, true);

    // To set preferences for AbstractTextEditor
    store = org.eclipse.ui.internal.editors.text.EditorsPlugin.getDefault().getPreferenceStore();
    store.setToDefault(AbstractTextEditor.PREFERENCE_NAVIGATION_SMART_HOME_END);
    store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE, 500);
  }
コード例 #3
0
ファイル: SplashHandler.java プロジェクト: kthoms/mp3m
  @Override
  public void init(Shell splash) {
    super.init(splash);
    String progressRectString = null;
    String messageRectString = null;
    String foregroundColorString = null;
    IProduct product = Platform.getProduct();
    if (product != null) {
      progressRectString = product.getProperty(IProductConstants.STARTUP_PROGRESS_RECT);
      messageRectString = product.getProperty(IProductConstants.STARTUP_MESSAGE_RECT);
      foregroundColorString = product.getProperty(IProductConstants.STARTUP_FOREGROUND_COLOR);
    }
    Rectangle progressRect =
        StringConverter.asRectangle(progressRectString, new Rectangle(10, 10, 300, 15));
    setProgressRect(progressRect);

    Rectangle messageRect =
        StringConverter.asRectangle(messageRectString, new Rectangle(10, 35, 300, 15));
    setMessageRect(messageRect);

    int foregroundColorInteger;
    try {
      foregroundColorInteger = Integer.parseInt(foregroundColorString, 16);
    } catch (Exception ex) {
      foregroundColorInteger = 0xD2D7FF; // off white
    }

    setForeground(
        new RGB(
            (foregroundColorInteger & 0xFF0000) >> 16,
            (foregroundColorInteger & 0xFF00) >> 8,
            foregroundColorInteger & 0xFF));
    final Point buildIdPoint = new Point(322, 190);
    getContent()
        .addPaintListener(
            new PaintListener() {

              public void paintControl(PaintEvent e) {
                // System.out
                // .println("SplashHandler.init(...).new PaintListener() {...}.paintControl()");
                e.gc.setForeground(getForeground());
                e.gc.drawText(
                    "v" + Activator.getDefault().getBundle().getHeaders().get("Bundle-Version"),
                    buildIdPoint.x,
                    buildIdPoint.y,
                    true);
              }
            });
  }
コード例 #4
0
  @Override
  public void initializeDefaultPreferences() {
    IPreferenceStore store = RentalUIActivator.getDefault().getPreferenceStore();

    RGB black = new RGB(0, 0, 0);
    RGB red = new RGB(255, 0, 0);
    RGB green = new RGB(0, 255, 0);
    RGB blue = new RGB(0, 0, 255);
    store.setDefault(PREF_COLOR_AGENCIES, StringConverter.asString(black));
    store.setDefault(PREF_COLOR_CUSTOMERS, StringConverter.asString(red));
    store.setDefault(PREF_COLOR_RENTAL_OBJECTS, StringConverter.asString(green));
    store.setDefault(PREF_COLOR_RENTALS, StringConverter.asString(blue));

    store.setDefault(PREF_PALETTE, "com.st.rental.ui.palette.default");
  }
コード例 #5
0
  private void adaptToTextForegroundChange(Highlighting highlighting, PropertyChangeEvent event) {
    RGB rgb = null;

    Object value = event.getNewValue();
    if (value instanceof RGB) rgb = (RGB) value;
    else if (value instanceof String) rgb = StringConverter.asRGB((String) value);

    if (rgb != null) {

      String property = event.getProperty();
      Color color = fColorManager.getColor(property);

      if ((color == null || !rgb.equals(color.getRGB()))
          && fColorManager instanceof IColorManagerExtension) {
        IColorManagerExtension ext = (IColorManagerExtension) fColorManager;
        ext.unbindColor(property);
        ext.bindColor(property, rgb);
        color = fColorManager.getColor(property);
      }

      TextAttribute oldAttr = highlighting.getTextAttribute();
      highlighting.setTextAttribute(
          new TextAttribute(color, oldAttr.getBackground(), oldAttr.getStyle()));
    }
  }
コード例 #6
0
ファイル: UIUtils.java プロジェクト: ralic/dbeaver
 public static Color getConnectionTypeColor(DBPConnectionType connectionType) {
   String rgbString = connectionType.getColor();
   if (CommonUtils.isEmpty(rgbString)) {
     return null;
   }
   return DBeaverUI.getSharedTextColors().getColor(StringConverter.asRGB(rgbString));
 }
コード例 #7
0
 public void storeHighlight(
     final IPreferenceStore store, final TokenHighlight th, HighlightStyle style) {
   if (store != null) {
     store.setValue(th.getColorKey(), StringConverter.asString(style.getColor()));
     store.setValue(th.getStylesKey(), style.getStyles());
   }
 }
コード例 #8
0
ファイル: TerminalPart.java プロジェクト: glumanda/grblrunner
  @Inject
  public void setOkForegroundColor(
      Display display,
      @Preference(nodePath = IConstant.PREFERENCE_NODE, value = IPreferenceKey.COLOR_OK_FOREGROUND)
          String rgbText) {

    okForegroundColor = new Color(display, StringConverter.asRGB(rgbText));
  }
コード例 #9
0
ファイル: CCWPlugin.java プロジェクト: karaatli/ccw
 /**
  * Not thread safe, but should only be called from the UI Thread, so it's not really a problem.
  *
  * @param rgb
  * @return The <code>Color</code> instance cached for this rgb value, creating it along the way if
  *     required.
  */
 public static Color getColor(RGB rgb) {
   ColorRegistry r = getDefault().getColorCache();
   String rgbString = StringConverter.asString(rgb);
   if (!r.hasValueFor(rgbString)) {
     r.put(rgbString, rgb);
   }
   return r.get(rgbString);
 }
コード例 #10
0
ファイル: ErlideUIPlugin.java プロジェクト: xingbei437/erlide
  private void loadDefaultEditorColors() {
    final IPreferenceStore rootStore = getPreferenceStore();

    for (final TokenHighlight th : TokenHighlight.values()) {
      final HighlightStyle data = th.getDefaultStyle();
      rootStore.setDefault(th.getColorKey(), StringConverter.asString(data.getColor()));
      rootStore.setDefault(th.getStylesKey(), data.getStyles());
    }
  }
コード例 #11
0
ファイル: TerminalPart.java プロジェクト: glumanda/grblrunner
  @Inject
  public void setSuppressedGrblBackgroundColor(
      Display display,
      @Preference(
              nodePath = IConstant.PREFERENCE_NODE,
              value = IPreferenceKey.COLOR_GRBL_SUPPRESSED_BACKGROUND)
          String rgbText) {

    suppressedGrblBackgroundColor = new Color(display, StringConverter.asRGB(rgbText));
  }
コード例 #12
0
ファイル: TerminalPart.java プロジェクト: glumanda/grblrunner
  @Inject
  public void setSuppressedErrorForegroundColor(
      Display display,
      @Preference(
              nodePath = IConstant.PREFERENCE_NODE,
              value = IPreferenceKey.COLOR_ERROR_SUPPRESSED_FOREGROUND)
          String rgbText) {

    supppressedErrorForegroundColor = new Color(display, StringConverter.asRGB(rgbText));
  }
コード例 #13
0
ファイル: TerminalPart.java プロジェクト: glumanda/grblrunner
  @Inject
  public void setTimestampBackgroundColor(
      Display display,
      @Preference(
              nodePath = IConstant.PREFERENCE_NODE,
              value = IPreferenceKey.COLOR_TIMESTAMP_BACKGROUND)
          String rgbText) {

    timestampBackgroundColor = new Color(display, StringConverter.asRGB(rgbText));
  }
コード例 #14
0
ファイル: TerminalPart.java プロジェクト: glumanda/grblrunner
  @Inject
  public void setTerminalForegroundColor(
      Display display,
      @Preference(
              nodePath = IConstant.PREFERENCE_NODE,
              value = IPreferenceKey.COLOR_TERMINAL_FOREGROUND)
          String rgbText) {

    terminalForegroundColor = new Color(display, StringConverter.asRGB(rgbText));
    if (terminalText != null && !terminalText.isDisposed())
      terminalText.setForeground(terminalForegroundColor);
  }
コード例 #15
0
 public void setErrorMessage(String errorMessage) {
   this.errorMessage = errorMessage;
   if (errorMessageText != null && !errorMessageText.isDisposed()) {
     errorMessageText.setText(errorMessage == null ? " \n " : errorMessage); // $NON-NLS-1$
     boolean hasError =
         errorMessage != null && (StringConverter.removeWhiteSpaces(errorMessage)).length() > 0;
     errorMessageText.setEnabled(hasError);
     errorMessageText.setVisible(hasError);
     errorMessageText.getParent().update();
     Control button = getButton(IDialogConstants.OK_ID);
     if (button != null) {
       button.setEnabled(errorMessage == null);
     }
   }
 }
コード例 #16
0
 /**
  * Sets or clears the error message. If not <code>null</code>, the OK button is disabled.
  *
  * @param errorMessage the error message, or <code>null</code> to clear
  */
 public void setErrorMessage(String errorMessage) {
   this.errorMessage = errorMessage;
   if (errorMessageText != null && !errorMessageText.isDisposed()) {
     errorMessageText.setText(errorMessage == null ? " \n " : errorMessage); // $NON-NLS-1$
     // Disable the error message text control if there is no error, or
     // no error text (empty or whitespace only). Hide it also to avoid color change.
     boolean hasError =
         errorMessage != null && (StringConverter.removeWhiteSpaces(errorMessage)).length() > 0;
     errorMessageText.setEnabled(hasError);
     errorMessageText.setVisible(hasError);
     errorMessageText.getParent().update();
     // Access the ok button by id, in case clients have overridden button creation.
     Control button = getButton(IDialogConstants.OK_ID);
     if (button != null) {
       button.setEnabled(errorMessage == null);
     }
   }
 }
コード例 #17
0
ファイル: UIUtils.java プロジェクト: ralic/dbeaver
 public static Color getConnectionColor(DBPConnectionConfiguration connectionInfo) {
   String rgbString = connectionInfo.getConnectionColor();
   if (CommonUtils.isEmpty(rgbString)) {
     rgbString = connectionInfo.getConnectionType().getColor();
   }
   if (CommonUtils.isEmpty(rgbString)) {
     return null;
   }
   Color connectionColor =
       DBeaverUI.getSharedTextColors().getColor(StringConverter.asRGB(rgbString));
   if (connectionColor.getBlue() == 255
       && connectionColor.getRed() == 255
       && connectionColor.getGreen() == 255) {
     // For white color return just null to avoid explicit color set.
     // It is important for dark themes
     return null;
   }
   return connectionColor;
 }
コード例 #18
0
  /**
   * Updates the change font button and the previewer to reflect the newly selected font.
   *
   * @param font The FontData[] to update with.
   */
  private void updateFont(FontData font[]) {
    FontData[] bestFont =
        JFaceResources.getFontRegistry().filterData(font, valueControl.getDisplay());

    // if we have nothing valid do as best we can
    if (bestFont == null) {
      bestFont = getDefaultFontData();
    }

    // Now cache this value in the receiver
    this.chosenFont = bestFont;

    if (valueControl != null) {
      valueControl.setText(StringConverter.asString(chosenFont[0]));
    }
    if (previewer != null) {
      previewer.setFont(bestFont);
    }
  }
コード例 #19
0
 private void adaptToColorChange(PropertyChangeEvent event) {
   RGB rgb = null;
   Token token = (Token) tokenMap.get(event.getProperty());
   LToken lToken = (LToken) tokenMap.get(event.getProperty() + MARK_SUFFIX);
   if (token == null && lToken == null) {
     return;
   }
   Object value = event.getNewValue();
   if (value instanceof RGB) rgb = (RGB) value;
   else if (value instanceof String) rgb = StringConverter.asRGB((String) value);
   if (rgb != null) {
     String property = event.getProperty();
     Object data = token.getData();
     if (data instanceof TextAttribute) {
       TextAttribute oldAttr = (TextAttribute) data;
       TextAttribute newAttr =
           new TextAttribute(
               colorManager.getColor(property), oldAttr.getBackground(), oldAttr.getStyle());
       if (token != null) token.setData(newAttr);
       if (lToken != null) lToken.setData(newAttr);
     }
   }
 }
コード例 #20
0
 /*
  * @see org.eclipse.ui.views.properties.tabbed.view.ITabbedPropertySection#refresh()
  */
 public void refresh() {
   FontData fontdata = buttonElement.getControl().getFont().getFontData()[0];
   fontText.setText(StringConverter.asString(fontdata));
 }
  public void initializeDefaultPreferences() {
    IPreferenceStore store = HTMLPlugin.getDefault().getPreferenceStore();
    store.setDefault(HTMLPlugin.PREF_COLOR_TAG, StringConverter.asString(IHTMLColorConstants.TAG));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_COMMENT, StringConverter.asString(IHTMLColorConstants.HTML_COMMENT));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_DOCTYPE, StringConverter.asString(IHTMLColorConstants.PROC_INSTR));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_STRING, StringConverter.asString(IHTMLColorConstants.STRING));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_SCRIPT, StringConverter.asString(IHTMLColorConstants.SCRIPT));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_CSSPROP, StringConverter.asString(IHTMLColorConstants.CSS_PROP));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_CSSCOMMENT,
        StringConverter.asString(IHTMLColorConstants.CSS_COMMENT));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_CSSVALUE, StringConverter.asString(IHTMLColorConstants.CSS_VALUE));
    store.setDefault(HTMLPlugin.PREF_EDITOR_TYPE, "tab");
    store.setDefault(HTMLPlugin.PREF_DTD_URI, "");
    store.setDefault(HTMLPlugin.PREF_DTD_PATH, "");
    store.setDefault(HTMLPlugin.PREF_DTD_CACHE, true);
    store.setDefault(HTMLPlugin.PREF_ASSIST_AUTO, true);
    store.setDefault(HTMLPlugin.PREF_ASSIST_CHARS, "</\"");
    store.setDefault(HTMLPlugin.PREF_ASSIST_CLOSE, true);
    store.setDefault(HTMLPlugin.PREF_ASSIST_TIMES, 0);
    store.setDefault(HTMLPlugin.PREF_USE_SOFTTAB, false);
    store.setDefault(HTMLPlugin.PREF_SOFTTAB_WIDTH, 2);
    store.setDefault(
        HTMLPlugin.PREF_COLOR_FG, StringConverter.asString(IHTMLColorConstants.FOREGROUND));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_BG, StringConverter.asString(IHTMLColorConstants.BACKGROUND));
    store.setDefault(HTMLPlugin.PREF_COLOR_BG_DEF, true);
    store.setDefault(
        HTMLPlugin.PREF_JSP_COMMENT, StringConverter.asString(IHTMLColorConstants.JAVA_COMMENT));
    store.setDefault(
        HTMLPlugin.PREF_JSP_STRING, StringConverter.asString(IHTMLColorConstants.JAVA_STRING));
    store.setDefault(
        HTMLPlugin.PREF_JSP_KEYWORD, StringConverter.asString(IHTMLColorConstants.JAVA_KEYWORD));
    store.setDefault(HTMLPlugin.PREF_JSP_FIX_PATH, false);
    store.setDefault(HTMLPlugin.PREF_PAIR_CHAR, true);
    store.setDefault(HTMLPlugin.PREF_SHOW_XML_ERRORS, false);
    store.setDefault(
        HTMLPlugin.PREF_COLOR_JSCOMMENT,
        StringConverter.asString(IHTMLColorConstants.JAVA_COMMENT));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_JSSTRING, StringConverter.asString(IHTMLColorConstants.JAVA_STRING));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_JSKEYWORD,
        StringConverter.asString(IHTMLColorConstants.JAVA_KEYWORD));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_JSDOC, StringConverter.asString(IHTMLColorConstants.JSDOC));
    store.setDefault(HTMLPlugin.PREF_CUSTOM_ATTRS, "");
    store.setDefault(HTMLPlugin.PREF_CUSTOM_ELEMENTS, "");
    store.setDefault(HTMLPlugin.PREF_TASK_TAGS, "FIXME\t2\nTODO\t1\nXXXX\t1\n");
    store.setDefault(HTMLPlugin.PREF_ENABLE_CLASSNAME, false);
    store.setDefault(
        HTMLPlugin.PREF_CLASSNAME_ATTRS, "type class classname className bean component");
    store.setDefault(HTMLPlugin.PREF_SCHEMA_MAPPINGS, "");
    store.setDefault(HTMLPlugin.PREF_AUTO_EDIT, true);
    store.setDefault(
        HTMLPlugin.PREF_COLOR_TAGLIB, StringConverter.asString(IHTMLColorConstants.TAGLIB));
    store.setDefault(
        HTMLPlugin.PREF_COLOR_TAGLIB_ATTR,
        StringConverter.asString(IHTMLColorConstants.TAGLIB_ATTR));
    store.setDefault(HTMLPlugin.PREF_FORMATTER_TAB, false);
    store.setDefault(HTMLPlugin.PREF_FORMATTER_INDENT, 2);
    store.setDefault(HTMLPlugin.PREF_FORMATTER_LINE, 120);

    getContributions(store);
  }
コード例 #22
0
 public Color3f getMinorColor() {
   String value = getString(MINOR_GRID_COLOR);
   RGB color = StringConverter.asRGB(value);
   return new Color3f(
       (float) (color.red / 255.0), (float) (color.green / 255.0), (float) (color.blue / 255.0));
 }
  /**
   * Creates a <code>AnnotationPreference</code> the given configuration element.
   *
   * @param element the configuration element
   * @return the created annotation preference
   */
  private AnnotationPreference createSpec(IConfigurationElement element) {

    String s;
    int i;
    boolean b;

    ReadOnlyAnnotationPreference info = new ReadOnlyAnnotationPreference();

    s = element.getAttribute("annotationType"); // $NON-NLS-1$
    if (s == null || s.trim().length() == 0) return null;
    info.setAnnotationType(s);

    s = element.getAttribute("label"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setPreferenceLabel(s);

    s = element.getAttribute("markerType"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setMarkerType(s);

    s = element.getAttribute("markerSeverity"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      i = StringConverter.asInt(s, IMarker.SEVERITY_INFO);
      info.setSeverity(i);
    }

    s = element.getAttribute("textPreferenceKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setTextPreferenceKey(s);

    s = element.getAttribute("textPreferenceValue"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      b = StringConverter.asBoolean(s, false);
      info.setTextPreferenceValue(b);
    }

    s = element.getAttribute("highlightPreferenceKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setHighlightPreferenceKey(s);

    s = element.getAttribute("highlightPreferenceValue"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      b = StringConverter.asBoolean(s, false);
      info.setHighlightPreferenceValue(b);
    }

    s = element.getAttribute("overviewRulerPreferenceKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setOverviewRulerPreferenceKey(s);

    s = element.getAttribute("overviewRulerPreferenceValue"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      b = StringConverter.asBoolean(s, false);
      info.setOverviewRulerPreferenceValue(b);
    }

    s = element.getAttribute("verticalRulerPreferenceKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setVerticalRulerPreferenceKey(s);

    s = element.getAttribute("verticalRulerPreferenceValue"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      b = StringConverter.asBoolean(s, true);
      info.setVerticalRulerPreferenceValue(b);
    }

    s = element.getAttribute("colorPreferenceKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setColorPreferenceKey(s);

    s = element.getAttribute("colorPreferenceValue"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      RGB rgb = StringConverter.asRGB(s);
      info.setColorPreferenceValue(rgb == null ? new RGB(0, 0, 0) : rgb);
    }

    s = element.getAttribute("presentationLayer"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      i = StringConverter.asInt(s, 0);
      info.setPresentationLayer(i);
    }

    s = element.getAttribute("contributesToHeader"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      b = StringConverter.asBoolean(s, false);
      info.setContributesToHeader(b);
    }

    s = element.getAttribute("showInNextPrevDropdownToolbarActionKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setShowInNextPrevDropdownToolbarActionKey(s);

    s = element.getAttribute("showInNextPrevDropdownToolbarAction"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      b = StringConverter.asBoolean(s, false);
      info.setShowInNextPrevDropdownToolbarAction(b);
    }

    s = element.getAttribute("isGoToNextNavigationTargetKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setIsGoToNextNavigationTargetKey(s);

    s = element.getAttribute("isGoToNextNavigationTarget"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      b = StringConverter.asBoolean(s, false);
      info.setIsGoToNextNavigationTarget(b);
    }

    s = element.getAttribute("isGoToPreviousNavigationTargetKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setIsGoToPreviousNavigationTargetKey(s);

    s = element.getAttribute("isGoToPreviousNavigationTarget"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {
      b = StringConverter.asBoolean(s, false);
      info.setIsGoToPreviousNavigationTarget(b);
    }

    s = element.getAttribute("symbolicIcon"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setSymbolicImageName(s);

    s = element.getAttribute("icon"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setImageDescriptor(getImageDescriptor(s, element));

    s = element.getAttribute("quickFixIcon"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0)
      info.setQuickFixImageDescriptor(getImageDescriptor(s, element));

    s = element.getAttribute("annotationImageProvider"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0)
      info.setAnnotationImageProviderData(element, "annotationImageProvider"); // $NON-NLS-1$

    s = element.getAttribute("textStylePreferenceKey"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) info.setTextStylePreferenceKey(s);

    s = element.getAttribute("textStylePreferenceValue"); // $NON-NLS-1$
    if (s != null && s.trim().length() > 0) {

      if (AnnotationPreference.STYLE_BOX.equals(s)
          || AnnotationPreference.STYLE_DASHED_BOX.equals(s)
          || AnnotationPreference.STYLE_IBEAM.equals(s)
          || AnnotationPreference.STYLE_SQUIGGLES.equals(s)
          || AnnotationPreference.STYLE_PROBLEM_UNDERLINE.equals(s)
          || AnnotationPreference.STYLE_UNDERLINE.equals(s)) info.setTextStyleValue(s);
      else info.setTextStyleValue(AnnotationPreference.STYLE_NONE);
    }

    s = element.getAttribute("includeOnPreferencePage"); // $NON-NLS-1$
    info.setIncludeOnPreferencePage(s == null || StringConverter.asBoolean(s, true));

    info.markReadOnly();

    return info;
  }
コード例 #24
0
ファイル: ThemeManager.java プロジェクト: arcaneadam/studio3
 private static String toString(RGB selection) {
   return StringConverter.asString(selection);
 }
コード例 #25
0
ファイル: ThemeManager.java プロジェクト: arcaneadam/studio3
  public void setCurrentTheme(Theme theme) {
    fCurrentTheme = theme;

    // Set the find in file search color
    IEclipsePreferences prefs = new InstanceScope().getNode("org.eclipse.search"); // $NON-NLS-1$
    prefs.put(
        "org.eclipse.search.potentialMatch.fgColor",
        toString(theme.getSearchResultColor())); // $NON-NLS-1$
    try {
      prefs.flush();
    } catch (BackingStoreException e) {
      ThemePlugin.logError(e);
    }

    // Set the color for the search result annotation, the pref key is "searchResultIndicationColor"
    prefs = new InstanceScope().getNode("org.eclipse.ui.editors"); // $NON-NLS-1$
    if (!theme.hasEntry("override.searchResultIndication")) // $NON-NLS-1$
    {
      prefs.put(
          "searchResultIndicationColor", toString(theme.getSearchResultColor())); // $NON-NLS-1$
    }
    // TODO Use markup.changed bg color for "decoration color" in Prefs>General>Appearance>Colors
    // and Fonts

    // TODO Move this stuff over to theme change listeners in the XML/HTML/Ruby editor plugins?
    if (!theme.hasEntry("override.xmlTagPairOccurrenceIndication")) // $NON-NLS-1$
    {
      prefs.putBoolean("xmlTagPairOccurrenceIndicationHighlighting", false); // $NON-NLS-1$
      prefs.putBoolean("xmlTagPairOccurrenceIndication", true); // $NON-NLS-1$
      prefs.put(
          "xmlTagPairOccurrenceIndicationColor",
          toString(theme.getOccurenceHighlightColor())); // $NON-NLS-1$
      prefs.put(
          "xmlTagPairOccurrenceIndicationTextStyle", AnnotationPreference.STYLE_BOX); // $NON-NLS-1$
    }
    if (!theme.hasEntry("override.htmlTagPairOccurrenceIndication")) // $NON-NLS-1$
    {
      prefs.putBoolean("htmlTagPairOccurrenceIndicationHighlighting", false); // $NON-NLS-1$
      prefs.putBoolean("htmlTagPairOccurrenceIndication", true); // $NON-NLS-1$
      prefs.put(
          "htmlTagPairOccurrenceIndicationColor",
          toString(theme.getOccurenceHighlightColor())); // $NON-NLS-1$
      prefs.put(
          "htmlTagPairOccurrenceIndicationTextStyle",
          AnnotationPreference.STYLE_BOX); // $NON-NLS-1$
    }
    if (!theme.hasEntry("override.rubyBlockPairOccurrenceIndication")) // $NON-NLS-1$
    {
      prefs.putBoolean("rubyBlockPairOccurrenceIndicationHighlighting", false); // $NON-NLS-1$
      prefs.putBoolean("rubyBlockPairOccurrenceIndication", true); // $NON-NLS-1$
      prefs.put(
          "rubyBlockPairOccurrenceIndicationColor",
          toString(theme.getOccurenceHighlightColor())); // $NON-NLS-1$
      prefs.put(
          "rubyBlockPairOccurrenceIndicationTextStyle",
          AnnotationPreference.STYLE_BOX); // $NON-NLS-1$
    }
    // PyDev Occurrences (com.python.pydev.occurrences)
    // Override them if pydev is set to use our themes
    if (Platform.getPreferencesService()
        .getBoolean(
            "org.python.pydev.red_core",
            "PYDEV_USE_APTANA_THEMES",
            true, //$NON-NLS-1$ //$NON-NLS-2$
            null)) {
      if (!theme.hasEntry("override.pydevOccurrenceIndication")) // $NON-NLS-1$
      {
        MarkerAnnotationPreferences preferences = new MarkerAnnotationPreferences();
        AnnotationPreference pydevOccurPref = null;
        for (Object obj : preferences.getAnnotationPreferences()) {
          AnnotationPreference pref = (AnnotationPreference) obj;
          Object type = pref.getAnnotationType();
          if ("com.python.pydev.occurrences".equals(type)) // $NON-NLS-1$
          {
            pydevOccurPref = pref;
          }
        }
        if (pydevOccurPref != null) {
          if (pydevOccurPref.getTextStylePreferenceKey() != null) {
            // Now that pydev supports text style, use the box style and don't highlight.
            prefs.putBoolean("pydevOccurrenceHighlighting", false); // $NON-NLS-1$
            prefs.putBoolean("pydevOccurrenceIndication", true); // $NON-NLS-1$
            prefs.put(
                "pydevOccurrenceIndicationColor",
                toString(theme.getOccurenceHighlightColor())); // $NON-NLS-1$
            prefs.put(
                "pydevOccurrenceIndicationTextStyle",
                AnnotationPreference.STYLE_BOX); // $NON-NLS-1$
          } else {
            // Must use highlighting, since we're against older pydev that had no text style
            prefs.putBoolean("pydevOccurrenceHighlighting", true); // $NON-NLS-1$
            prefs.putBoolean("pydevOccurrenceIndication", true); // $NON-NLS-1$
            prefs.put(
                "pydevOccurrenceIndicationColor",
                toString(theme.getSearchResultColor())); // $NON-NLS-1$
          }
        }
      }
    }

    try {
      prefs.flush();
    } catch (BackingStoreException e) {
      ThemePlugin.logError(e);
    }

    // Set the bg/fg/selection colors for compare editors
    prefs = new InstanceScope().getNode("org.eclipse.compare"); // $NON-NLS-1$
    prefs.putBoolean(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, false);
    prefs.put(
        AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND,
        StringConverter.asString(theme.getBackground()));
    prefs.putBoolean(AbstractTextEditor.PREFERENCE_COLOR_FOREGROUND_SYSTEM_DEFAULT, false);
    prefs.put(
        AbstractTextEditor.PREFERENCE_COLOR_FOREGROUND,
        StringConverter.asString(theme.getForeground()));
    prefs.putBoolean(
        AbstractTextEditor.PREFERENCE_COLOR_SELECTION_BACKGROUND_SYSTEM_DEFAULT, false);
    prefs.put(
        AbstractTextEditor.PREFERENCE_COLOR_SELECTION_BACKGROUND,
        StringConverter.asString(theme.getSelectionAgainstBG()));
    prefs.putBoolean(
        AbstractTextEditor.PREFERENCE_COLOR_SELECTION_FOREGROUND_SYSTEM_DEFAULT, false);
    prefs.put(
        AbstractTextEditor.PREFERENCE_COLOR_SELECTION_FOREGROUND,
        StringConverter.asString(theme.getForeground()));
    prefs.put(
        AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR,
        toString(theme.getLineHighlightAgainstBG()));

    try {
      prefs.flush();
    } catch (BackingStoreException e) {
      ThemePlugin.logError(e);
    }

    // Also set the standard eclipse editor props, like fg, bg, selection fg, bg
    prefs = new InstanceScope().getNode("com.aptana.editor.common"); // $NON-NLS-1$
    prefs.putBoolean(
        AbstractTextEditor.PREFERENCE_COLOR_SELECTION_FOREGROUND_SYSTEM_DEFAULT, false);
    prefs.put(
        AbstractTextEditor.PREFERENCE_COLOR_SELECTION_FOREGROUND,
        toString(theme.getSelectionAgainstBG()));

    prefs.putBoolean(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, false);
    prefs.put(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND, toString(theme.getBackground()));

    prefs.putBoolean(AbstractTextEditor.PREFERENCE_COLOR_FOREGROUND_SYSTEM_DEFAULT, false);
    prefs.put(AbstractTextEditor.PREFERENCE_COLOR_FOREGROUND, toString(theme.getForeground()));

    prefs.put(
        AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR,
        toString(theme.getLineHighlightAgainstBG()));
    try {
      prefs.flush();
    } catch (BackingStoreException e) {
      ThemePlugin.logError(e);
    }

    prefs = new InstanceScope().getNode(ThemePlugin.PLUGIN_ID);
    prefs.put(IPreferenceConstants.ACTIVE_THEME, theme.getName());
    prefs.putLong(THEME_CHANGED, System.currentTimeMillis());
    try {
      prefs.flush();
    } catch (BackingStoreException e) {
      ThemePlugin.logError(e);
    }

    // Force font
    final String[] fontIds =
        new String[] {
          IThemeManager.VIEW_FONT_NAME,
          JFaceResources.TEXT_FONT,
          "org.eclipse.ui.workbench.texteditor.blockSelectionModeFont"
        }; //$NON-NLS-1$
    UIUtils.getDisplay()
        .asyncExec(
            new Runnable() {

              public void run() {
                for (String fontId : fontIds) {
                  Font fFont = JFaceResources.getFontRegistry().get(fontId);
                  // Only set new values if they're different from existing!
                  Font existing = JFaceResources.getFont(fontId);
                  String existingString = ""; // $NON-NLS-1$
                  if (!existing.isDisposed()) {
                    existingString =
                        PreferenceConverter.getStoredRepresentation(existing.getFontData());
                  }
                  String fdString =
                      PreferenceConverter.getStoredRepresentation(fFont.getFontData());
                  if (!existingString.equals(fdString)) {
                    // put in registry...
                    JFaceResources.getFontRegistry().put(fontId, fFont.getFontData());
                  }
                }
              }
            });
  }
コード例 #26
0
 public void setKey(String key, int value) {
   setKey(key, StringConverter.asString(value));
 }