📄 about.properties
字号:
#Thu Jun 22 01:16:19 EDT 2006
blurb=Environnement de d\u00E9veloppement de plug-ins Eclipse - Ressources du d\u00E9veloppeur\n\nVersion \: {featureVersion}\nID g\u00E9n\u00E9ration \: {0}\n\n(c) Copyright Eclipse contributors and others 2000, 2005. All rights reserved.\nConsultez le site http\://www.eclipse.org/pde
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -