Package org.eclipse.jdt.ui.text

Examples of org.eclipse.jdt.ui.text.IColorManagerExtension

475
476
477
478
479
480
481
482
483
484
485
486
487
            String property = event.getProperty();
            Color color = _colorManager.getColor(property);

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

            TextAttribute oldAttr = highlighting.getTextAttribute();
            highlighting.setTextAttribute(new TextAttribute(color, oldAttr
View Full Code Here
525
526
527
528
529
530
531
532
533
534
535
        if ((_colorManager != null) && (colorKey != null)
                && (_colorManager.getColor(colorKey) == null)) {
            RGB rgb = PreferenceConverter.getColor(_preferenceStore, colorKey);

            if (_colorManager instanceof IColorManagerExtension) {
                IColorManagerExtension ext = (IColorManagerExtension) _colorManager;
                ext.unbindColor(colorKey);
                ext.bindColor(colorKey, rgb);
            }
        }
    }
View Full Code Here
304
305
306
307
308
309
310
311
312
313
314
315
316
      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
View Full Code Here
358
359
360
361
362
363
364
365
366
367
368
  private void addColor(String colorKey) {
    if (fColorManager != null && colorKey != null
        && fColorManager.getColor(colorKey) == null) {
      RGB rgb = PreferenceConverter.getColor(fPreferenceStore, colorKey);
      if (fColorManager instanceof IColorManagerExtension) {
        IColorManagerExtension ext = (IColorManagerExtension) fColorManager;
        ext.unbindColor(colorKey);
        ext.bindColor(colorKey, rgb);
      }
    }
  }
View Full Code Here
TOP

Related Classes of org.eclipse.jdt.ui.text.IColorManagerExtension

  • at.ssw.coco.ide.features.semanticHighlighting.SemanticHighlightingManager
  • ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightingReconciler
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.