codecamp

Eclipse 首选项(Preferences)

Eclipse 首选项(Preferences)

设置首选项

该对话框可通过框架管理但是其他插件可以设置其他页面来管理首选项的配置。

我们可以通过 Window 菜单选择 Preferences 菜单项来开启该对话框。

preferences_1

首选项页面有多个分类组成。你可以在左侧菜单中展开各个节点来查看首选项的配置。

左上角的输入框可以快速查找首选项页面。 你只需在输入框中输入要查找的首选项页面的字母即可快速找到对应的首选项页面。 例如:输入 font 即可查找到 Font(字体) 首选项页面。

preferences_2

在你完成首选项页面的配置后点击 OK 按钮就可以保存配置,点击 Cancel 按钮用于放弃修改。

Eclipse Debug 调试
Eclipse 内容辅助
温馨提示
下载编程狮App,免费阅读超1000+编程语言教程
取消
确定
目录

关闭

MIP.setData({ 'pageTheme' : getCookie('pageTheme') || {'day':true, 'night':false}, 'pageFontSize' : getCookie('pageFontSize') || 20 }); MIP.watch('pageTheme', function(newValue){ setCookie('pageTheme', JSON.stringify(newValue)) }); MIP.watch('pageFontSize', function(newValue){ setCookie('pageFontSize', newValue) }); function setCookie(name, value){ var days = 1; var exp = new Date(); exp.setTime(exp.getTime() + days*24*60*60*1000); document.cookie = name + '=' + value + ';expires=' + exp.toUTCString(); } function getCookie(name){ var reg = new RegExp('(^| )' + name + '=([^;]*)(;|$)'); return document.cookie.match(reg) ? JSON.parse(document.cookie.match(reg)[2]) : null; }