📄 org.eclipse.ui.workbench.prefs
字号:
#Tue Sep 23 09:19:10 CST 2008
ColorsAndFontsPreferencePage.expandedCategories=Torg.eclipse.ui.workbenchMisc
org.eclipse.jface.textfont=1|Courier New|11|0|WINDOWS|1|-14|0|0|0|400|0|0|0|0|3|2|1|49|Courier New;
eclipse.preferences.version=1
ENABLED_DECORATORS=com.genuitec.myeclipse.ui.decoration.myEclipseUniversalDecorator\:true,org.eclipse.jdt.ui.override.decorator\:true,org.eclipse.jdt.ui.interface.decorator\:false,org.eclipse.jst.j2ee.internal.ui.util.AnnotationIconDecorator_ejb\:true,org.eclipse.jst.j2ee.navigator.internal.J2EEProjectDecorator\:true,org.eclipse.jst.j2ee.internal.ui.util.AnnotationIconDecorator_servlet\:true,org.eclipse.pde.ui.binaryProjectDecorator\:false,org.eclipse.team.cvs.ui.decorator\:true,org.eclipse.ui.LinkedResourceDecorator\:true,org.eclipse.wst.rdb.core.internal.ui.explorer.DependencyDecoration\:true,org.eclipse.wst.rdb.core.internal.ui.explorer.ColumnDecoration\:true,org.eclipse.wst.rdb.core.internal.ui.explorer.ForeignKeyDecoration\:true,org.eclipse.wst.rdb.internal.core.ui.bookmarkDecoration\:true,org.eclipse.wst.rdb.internal.core.ui.indexTriggerDecoration\:true,org.eclipse.wst.rdb.server.ui.explorer.ServerStateDecoration\:true,org.eclipse.wst.rdb.core.internal.ui.explorer.FilterNodeDecoration\:true,
ColorsAndFontsPreferencePage.selectedElement=Forg.eclipse.jface.textfont
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -