Changeset 3875


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

Legend:

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

    r3874 r3875  
    5454    public static class StylePosition extends Position {
    5555        private final String key;
    56         /** May be <code>null</code>! */
    57         private TextAttribute textAttribute = null;
     56        private TextAttribute textAttribute = RfpPreferences.defaultTextAttribute;
    5857
    5958        public StylePosition (SrcPosition pos, String key) {
     
    6665        }
    6766
    68         /** May return <code>null</code>! */
    6967        public StyleRange getStyleRange () {
    70             if (textAttribute == null)
    71                 return null;
    7268            StyleRange styleRange = new StyleRange(offset, length, textAttribute.getForeground(), textAttribute
    7369                    .getBackground());
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/RfpEditor.java

    r3874 r3875  
    2626import org.eclipse.jface.viewers.ISelectionChangedListener;
    2727import org.eclipse.jface.viewers.SelectionChangedEvent;
    28 import org.eclipse.swt.custom.StyleRange;
    2928import org.eclipse.swt.custom.StyledText;
    3029import org.eclipse.swt.widgets.Composite;
     
    266265                        if (reg.getOffset() <= stylePosition.getOffset()
    267266                                && stylePosition.getOffset() + stylePosition.getLength() <= reg.getOffset()
    268                                         + reg.getLength()) {
    269                             StyleRange styleRange = stylePosition.getStyleRange();
    270                             if (styleRange != null)
    271                                 presentation.mergeStyleRange(styleRange);
    272                         }
     267                                        + reg.getLength())
     268                            presentation.mergeStyleRange(stylePosition.getStyleRange());
    273269                }
    274270            });
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/ui/preferences/RfpPreferences.java

    r3874 r3875  
    1111
    1212public class RfpPreferences {
     13    public static final TextAttribute defaultTextAttribute = new TextAttribute(null, null, SWT.NORMAL);
     14
    1315    private final IPreferenceStore store;
    1416   
     
    2527    }
    2628   
    27 
    28     /** May return <code>null</code>! */
    2929    public TextAttribute getTextAttribute (String key) {
    3030        ColorManager colorManager = RfpEditor.getColorManager();
    3131        if (colorManager == null)
    32             return null;
     32            return defaultTextAttribute;
    3333        Color color = colorManager.getColor(PreferenceConverter.getColor(store, key + ".color"));
    3434        int style = store.getBoolean(key + ".bold") ? SWT.BOLD : SWT.NORMAL;
Note: See TracChangeset for help on using the changeset viewer.