View | Details | Raw Unified | Return to bug 69253 | Differences between
and this patch

Collapse All | Expand All

(-)src/org/eclipse/ui/texteditor/AbstractTextEditor.java (-1 / +24 lines)
Lines 1442-1448 Link Here
1442
	 * @since 3.0
1442
	 * @since 3.0
1443
	 */
1443
	 */
1444
	public final static String PREFERENCE_WIDE_CARET= "AbstractTextEditor.Accessibility.WideCaret"; //$NON-NLS-1$	
1444
	public final static String PREFERENCE_WIDE_CARET= "AbstractTextEditor.Accessibility.WideCaret"; //$NON-NLS-1$	
1445
1445
	/** 
1446
	 * Key used to look up the force monospace preference.
1447
	 * Value: {@value}
1448
	 * @since 3.0
1449
	 */
1450
	public final static String PREFERENCE_FORCE_MONOSPACE= "AbstractTextEditor.Accessibility.ForceMonospace"; //$NON-NLS-1$	
1446
	
1451
	
1447
	/** Menu id for the editor context menu. */
1452
	/** Menu id for the editor context menu. */
1448
	public final static String DEFAULT_EDITOR_CONTEXT_MENU_ID= "#EditorContext"; //$NON-NLS-1$
1453
	public final static String DEFAULT_EDITOR_CONTEXT_MENU_ID= "#EditorContext"; //$NON-NLS-1$
Lines 2388-2393 Link Here
2388
		initializeViewerColors(fSourceViewer);
2393
		initializeViewerColors(fSourceViewer);
2389
		initializeFindScopeColor(fSourceViewer);
2394
		initializeFindScopeColor(fSourceViewer);
2390
		initializeDragAndDrop(fSourceViewer);
2395
		initializeDragAndDrop(fSourceViewer);
2396
		initializeForceMonospace(fSourceViewer);
2391
		
2397
		
2392
		StyledText styledText= fSourceViewer.getTextWidget();
2398
		StyledText styledText= fSourceViewer.getTextWidget();
2393
2399
Lines 3163-3168 Link Here
3163
			updateCaret();
3169
			updateCaret();
3164
		} else if (PREFERENCE_WIDE_CARET.equals(property)) {
3170
		} else if (PREFERENCE_WIDE_CARET.equals(property)) {
3165
			updateCaret();
3171
			updateCaret();
3172
		} else if (PREFERENCE_FORCE_MONOSPACE.equals(property)) {
3173
			initializeForceMonospace(fSourceViewer);
3166
		}
3174
		}
3167
			
3175
			
3168
		if (affectsTextPresentation(event))
3176
		if (affectsTextPresentation(event))
Lines 5125-5129 Link Here
5125
	 */
5133
	 */
5126
	public boolean isChangeInformationShowing() {
5134
	public boolean isChangeInformationShowing() {
5127
		return false;
5135
		return false;
5136
	}
5137
5138
	/**
5139
	 * force monospace.
5140
	 * 
5141
	 * @param viewer the viewer to be initialized
5142
	 *  
5143
	 * @see org.eclipse.swt.graphics.TextLayout#forceMonospace(int, StyleItem)
5144
	 */
5145
	public void initializeForceMonospace (ISourceViewer viewer) {
5146
		IPreferenceStore store= getPreferenceStore();
5147
		if (store != null) {
5148
			StyledText styledText= viewer.getTextWidget();
5149
			styledText.setForceMonospace(store.getBoolean(PREFERENCE_FORCE_MONOSPACE));
5150
		}
5128
	}
5151
	}
5129
}
5152
}

Return to bug 69253