| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.debug/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/ |
| H A D | JDISourceViewer.java | 101 …if (store.contains(PreferenceConstants.EDITOR_TEXT_FONT) && !store.isDefault(PreferenceConstants.E… in updateViewerFont()
102 data= PreferenceConverter.getFontData(store, PreferenceConstants.EDITOR_TEXT_FONT); in updateViewerFont()
104 data = PreferenceConverter.getDefaultFontData(store, PreferenceConstants.EDITOR_TEXT_FONT); in updateViewerFont()
255 if (PreferenceConstants.EDITOR_TEXT_FONT.equals(property)) { in propertyChange()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/ |
| H A D | JavaSourcePreviewerUpdater.java | 57 if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) { in JavaSourcePreviewerUpdater()
58 Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); in JavaSourcePreviewerUpdater()
|
| H A D | JavaTemplatePreferencePage.java | 135 Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createViewer()
|
| H A D | CodeTemplateBlock.java | 429 Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createViewer()
|
| H A D | EditTemplateDialog.java | 452 Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createEditor()
|
| H A D | JavaEditorColoringConfigurationBlock.java | 889 Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createPreviewer()
|
| /dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/ |
| H A D | JavaSourcePreviewerUpdater.java | 57 PreferenceConstants.EDITOR_TEXT_FONT)) { in JavaSourcePreviewerUpdater()
59 .getFont(PreferenceConstants.EDITOR_TEXT_FONT); in JavaSourcePreviewerUpdater()
|
| H A D | JavaTemplatePreferencePage.java | 110 .getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createViewer()
|
| H A D | CodeTemplateBlock.java | 326 .getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createViewer()
|
| H A D | EditTemplateDialog.java | 431 .getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createEditor()
|
| H A D | JavaEditorPreferencePage.java | 956 .getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createPreviewer()
|
| /dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/ |
| H A D | PHPeclipsePlugin.java | 1014 PreferenceConstants.EDITOR_TEXT_FONT, in installPreferenceStoreBackwardsCompatibility()
1028 .getFontData(PreferenceConstants.EDITOR_TEXT_FONT)); in installPreferenceStoreBackwardsCompatibility()
1032 if (PreferenceConstants.EDITOR_TEXT_FONT.equals(event in installPreferenceStoreBackwardsCompatibility()
1037 PreferenceConstants.EDITOR_TEXT_FONT)); in installPreferenceStoreBackwardsCompatibility()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.debug/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/display/ |
| H A D | DisplayView.java | 186 …fSourceViewer.getTextWidget().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)… in createPartControl()
190 if (PreferenceConstants.EDITOR_TEXT_FONT.equals(event.getProperty())) { in createPartControl()
192 ….asyncExec(() -> textWidget.setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT))); in createPartControl()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui refactoring/org/eclipse/jdt/internal/ui/refactoring/ |
| H A D | InputPageUtil.java | 112 textWidget.setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); in createSignaturePreview()
|
| H A D | JavaStatusContextViewer.java | 70 viewer.getControl().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); in createControl()
|
| H A D | CreateTextFileChangePreviewViewer.java | 125 textWidget.setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); in FileChangeSourceViewer()
|
| H A D | PullUpMethodPage.java | 354 fSourceViewer.getControl().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); in createSourceViewer()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui refactoring/org/eclipse/jdt/internal/ui/refactoring/code/ |
| H A D | ReplaceInvocationsInputPage.java | 113 bodyEditor.getTextWidget().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); in createBody()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/formatter/ |
| H A D | JavaPreview.java | 143 …fSourceViewer.getTextWidget().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)… in JavaPreview()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/ |
| H A D | JavaTemplatesPage.java | 197 Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); in createPatternViewer()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/ |
| H A D | SourceViewerInformationControl.java | 318 fTextFont= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT); in initializeFont()
|
| /dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/ |
| H A D | PreferenceConstants.java | 1177 …public final static String EDITOR_TEXT_FONT = "net.sourceforge.phpdt.ui.editors.textfont"; //$NON-… field in PreferenceConstants
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui refactoring/org/eclipse/jdt/internal/ui/refactoring/reorg/ |
| H A D | RenameTypeWizardSimilarElementsPage.java | 529 fSourceViewer.getControl().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); in createSourceViewer()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/ |
| H A D | PreferenceConstants.java | 1417 public final static String EDITOR_TEXT_FONT= "org.eclipse.jdt.ui.editors.textfont"; //$NON-NLS-1$ field in PreferenceConstants
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui refactoring/org/eclipse/jdt/internal/ui/refactoring/nls/ |
| H A D | ExternalizeWizardPage.java | 813 fSourceViewer.getControl().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); in createSourceViewer()
|