codecamp

Eclipse 重启选项

重启 Eclipse

重启选项允许用户重启 Eclipse。

我们可以通过点击 File 菜单选择 Restart 菜单项来重启 Eclipse。

restart_menu

在安装插件后,用户一般都会被提醒要重启 Eclipse。如果用户当时没有重启Eclipse,可以通过该选项来重启。

Eclipse 快捷键
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; }