Question

如何以编程方式更改Eclipse编辑器的字体/字体大小？

我发现了这个（来自编辑内部）：

$html = file_get_contents(site.com/file.php);

但我不确定这是否可行。此外，我仍然无法为我的编辑器设置字体大小。

Answer 1

您指定了＆＃39;符号字体名称＆＃39;使用＆＃39; symbolicFontName＆＃39;在编辑器的org.eclipse.ui.editors扩展点声明中使用属性。

例如，这是Java编辑器：

<extension
     id="javaeditor"
     point="org.eclipse.ui.editors">
  <editor
        name="%CompilationUnitEditorName"
        default="true"
        icon="$nl$/icons/full/obj16/jcu_obj.png"
        contributorClass="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditorActionContributor"
        class="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor"
        symbolicFontName="org.eclipse.jdt.ui.editors.textfont"
        id="org.eclipse.jdt.ui.CompilationUnitEditor">
        <contentTypeBinding
           contentTypeId="org.eclipse.jdt.core.javaSource"
        /> 
  </editor>

用于定义要用作org.eclipse.jdt.ui.editors.textfont的符号字体名称。

符号字体名称是对org.eclipse.ui.themes扩展点中字体定义的引用。

例如，org.eclipse.jdt.ui.editors.textfont定义为：

<extension
     point="org.eclipse.ui.themes">
  <fontDefinition
        label="%javaEditorFontDefiniton.label"
        defaultsTo="org.eclipse.jface.textfont"
        categoryId="org.eclipse.jdt.ui.presentation"
        id="org.eclipse.jdt.ui.editors.textfont">
     <description>
        %javaEditorFontDefintion.description
     </description>
  </fontDefinition>

此定义将字体设置为默认与标准文本字体相同。

以这种方式定义的字体将出现在＆＃39; General＆gt;中的Eclipse首选项中。外观＆gt;颜色和字体＆＃39;

如何以编程方式更改Eclipse编辑器的字体（大小）？

1 个答案: