public void setFont( Font fnt ) { styledText.setFont( fnt ); }
helpLabel.setFont( new Font( display, "Open Sans Regular", 11, SWT.NORMAL ) ); helpLabel.setForeground( new Color( display, 0, 94, 170 ) ); FormData helpLabelFormData = new FormData();
@Override public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) { Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); viewer.getTextWidget().setFont(font); } } };
@Override public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT)) { Font font= JFaceResources.getFont(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT); viewer.getTextWidget().setFont(font); } } };
public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) { Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); viewer.getTextWidget().setFont(font); } } };
@Override public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) { Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); viewer.getTextWidget().setFont(font); } } };
@Override public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT)) { Font font= JFaceResources.getFont(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT); viewer.getTextWidget().setFont(font); } } };
/** * Initialize the font to the Java editor font. * * @since 3.2 */ private void initializeFont() { fTextFont= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); StyledText styledText= getViewer().getTextWidget(); styledText.setFont(fTextFont); }
@Override public void propertyChange(PropertyChangeEvent event) { if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) { final Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); fSourceViewer.getTextWidget().setFont(font); if (fMarginPainter != null) { fMarginPainter.initialize(); } } } };
/** * Initialize the font to the Java editor font. * * @since 3.2 */ private void initializeFont() { fTextFont= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); StyledText styledText= getViewer().getTextWidget(); styledText.setFont(fTextFont); }
/** * Initialize the font to the Java editor font. * * @since 3.2 */ private void initializeFont() { Font font= JFaceResources.getFont("org.eclipse.jdt.ui.editors.textfont"); //$NON-NLS-1$ StyledText styledText= getViewer().getTextWidget(); styledText.setFont(font); }
public void setFont(Font font) { StyledText te= getTextWidget(); if (te != null) te.setFont(font); if (fLineNumberColumn != null) { fLineNumberColumn.setFont(font); layoutViewer(); } }
public FileChangeSourceViewer(Composite parent, IVerticalRuler ruler, int styles) { super(parent, ruler, styles); setColors(); StyledText textWidget= getTextWidget(); textWidget.setEditable(false); textWidget.setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); }
public void setFont(Font font) { StyledText te= getSourceViewer().getTextWidget(); if (te != null) te.setFont(font); if (fLineNumberColumn != null) { fLineNumberColumn.setFont(font); layoutViewer(); } }
@Override protected void configureTextViewer(TextViewer textViewer) { if (textViewer instanceof SourceViewer) { if (fColorManager == null) fColorManager = ColorManager.getDefault(); ((SourceViewer) textViewer).configure(new ManifestConfiguration(fColorManager, null, getDocumentPartitioning())); Font font = JFaceResources.getFont(ManifestContentMergeViewer.class.getName()); if (font != null) ((SourceViewer) textViewer).getTextWidget().setFont(font); } }
private SourceViewer createViewer(Composite parent) { SourceViewer viewer = new SourceViewer(parent, null, SWT.NONE); SourceViewerConfiguration configuration = new AntSourceViewerConfiguration(); viewer.configure(configuration); viewer.setEditable(false); Font font = JFaceResources.getFont(JFaceResources.TEXT_FONT); viewer.getTextWidget().setFont(font); return viewer; }
@Override public void propertyChange(PropertyChangeEvent event) { String propertyName= event.getProperty(); if (propertyName.equals(IDebugUIConstants.PREF_DETAIL_PANE_FONT)) { fSourceViewer.getTextWidget().setFont(JFaceResources.getFont(IDebugUIConstants.PREF_DETAIL_PANE_FONT)); } else if (propertyName.equals(IDebugUIConstants.PREF_MAX_DETAIL_LENGTH)) { display(fLastDisplayed); } else if (propertyName.equals(IDebugPreferenceConstants.PREF_DETAIL_PANE_WORD_WRAP)) { fSourceViewer.getTextWidget().setWordWrap(DebugUIPlugin.getDefault().getPreferenceStore().getBoolean(IDebugPreferenceConstants.PREF_DETAIL_PANE_WORD_WRAP)); getAction(DETAIL_WORD_WRAP_ACTION).setChecked(DebugUIPlugin.getDefault().getPreferenceStore().getBoolean(IDebugPreferenceConstants.PREF_DETAIL_PANE_WORD_WRAP)); } }
JavaTextViewer(Composite parent) { fSourceViewer= new SourceViewer(parent, null, SWT.LEFT_TO_RIGHT | SWT.H_SCROLL | SWT.V_SCROLL); JavaTextTools tools= JavaCompareUtilities.getJavaTextTools(); if (tools != null) { IPreferenceStore store= JavaPlugin.getDefault().getCombinedPreferenceStore(); fSourceViewer.configure(new JavaSourceViewerConfiguration(tools.getColorManager(), store, null, IJavaPartitions.JAVA_PARTITIONING)); } fSourceViewer.setEditable(false); String symbolicFontName= JavaMergeViewer.class.getName(); Font font= JFaceResources.getFont(symbolicFontName); if (font != null) fSourceViewer.getTextWidget().setFont(font); }
SourceViewer doCreateViewer(Composite parent, SourceViewerConfiguration viewerConfiguration) { SourceViewer viewer = null; String contentTypeID = ContentTypeIdForXML.ContentTypeID_XML; viewer = new StructuredTextViewer(parent, null, null, false, SWT.BORDER | SWT.V_SCROLL | SWT.H_SCROLL); ((StructuredTextViewer) viewer).getTextWidget().setFont(JFaceResources.getFont("org.eclipse.wst.sse.ui.textfont")); //$NON-NLS-1$ IStructuredModel scratchModel = StructuredModelManager.getModelManager().createUnManagedStructuredModelFor(contentTypeID); IDocument document = scratchModel.getStructuredDocument(); viewer.configure(viewerConfiguration); viewer.setDocument(document); return viewer; }
public SourceCodeArea(final Composite parent) { super(parent, null, null, false, SWT.READ_ONLY | SWT.WRAP, store); configure(configuration); getTextWidget().setFont(ExtdocUtils.CODEFONT); setEditable(false); getTextWidget().setLayoutData(GridDataFactory.fillDefaults().indent(20, 0).create()); }