Changeset 3865 for devel-tools


Ignore:
Timestamp:
Jul 23, 2008, 4:01:21 PM (12 years ago)
Author:
yura
Message:
Location:
devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/PresentationVisitor.java

    r3849 r3865  
    5555    public static class StylePosition extends Position {
    5656        private final String key;
     57        /** May be <code>null</code>! */
    5758        private TextAttribute textAttribute = null;
    5859
     
    6667        }
    6768
     69        /** May return <code>null</code>! */
    6870        public StyleRange getStyleRange () {
     71            if (textAttribute == null)
     72                return null;
    6973            StyleRange styleRange = new StyleRange(offset, length, textAttribute.getForeground(), textAttribute.getBackground());
    7074            int style = textAttribute.getStyle();
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/RfpEditor.java

    r3863 r3865  
    2626import org.eclipse.jface.viewers.ISelectionChangedListener;
    2727import org.eclipse.jface.viewers.SelectionChangedEvent;
     28import org.eclipse.swt.custom.StyleRange;
    2829import org.eclipse.swt.custom.StyledText;
    2930import org.eclipse.swt.widgets.Composite;
     
    4748public class RfpEditor extends TextEditor {
    4849    private static int editorCount = 0;
    49     private static ColorManager colorManager;
     50    /** May be <code>null</code>! */
     51    private static ColorManager colorManager = null;
    5052
    5153    private static Object getLockObject (IAnnotationModel annotationModel) {
     
    5860    }
    5961
     62    /** May return <code>null</code>! */
    6063    public static ColorManager getColorManager () {
    6164        return colorManager;
     
    139142        propertyChangeListener = new IPropertyChangeListener() {
    140143            public void propertyChange (PropertyChangeEvent event) {
    141                 for (StylePosition position : stylePositionList)
    142                     position.updateStyleRange(store);
    143                 redrawTextAsync();
     144                if (stylePositionList != null) {
     145                    for (StylePosition position : stylePositionList)
     146                        position.updateStyleRange(store);
     147                    redrawTextAsync();
     148                }
    144149            }
    145150        };
     
    147152    }
    148153
     154    /** May be <code>null</code>! */
    149155    private StylePosition[] stylePositionList = null;
    150156
     
    258264                        if (reg.getOffset() <= stylePosition.getOffset()
    259265                                && stylePosition.getOffset() + stylePosition.getLength() <= reg.getOffset()
    260                                         + reg.getLength())
    261                             presentation.mergeStyleRange(stylePosition.getStyleRange());
     266                                        + reg.getLength()) {
     267                            StyleRange styleRange = stylePosition.getStyleRange();
     268                            if (styleRange != null)
     269                                presentation.mergeStyleRange(styleRange);
     270                        }
    262271                }
    263272            });
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/color/ColorScanner.java

    r3508 r3865  
    3333    }
    3434
     35    /** May return <code>null</code>! */
    3536    public static TextAttribute getTextAttribute (IPreferenceStore store, String key) {
    36         Color color = RfpEditor.getColorManager().getColor(
     37        ColorManager colorManager = RfpEditor.getColorManager();
     38        if (colorManager == null)
     39            return null;
     40        Color color = colorManager.getColor(
    3741                PreferenceConverter.getColor(store, IPreferenceConstants.PREFIX + key + ".color"));
    3842        int style = store.getBoolean(IPreferenceConstants.PREFIX + key + ".bold") ? SWT.BOLD : SWT.NORMAL;
Note: See TracChangeset for help on using the changeset viewer.