?? com.genuitec.eclipse.easie.tomcat5.prefs
字號:
#Fri Aug 10 14:25:18 CST 2007
TOMCAT_HOME=D\:\\share\\05_Servlet_JSP\\apache-tomcat-5.5.17
TOMCAT_TEMP=D\:\\share\\05_Servlet_JSP\\apache-tomcat-5.5.17\\temp
LIBRARY_PATH="C\:\\JDK5.0\\bin;D\:\\share\\05_Servlet_JSP\\apache-tomcat-5.5.17\\bin"
TOMCAT_BASE=D\:\\share\\05_Servlet_JSP\\apache-tomcat-5.5.17
ENDORSED_DIRS="D\:\\share\\05_Servlet_JSP\\apache-tomcat-5.5.17/common/endorsed"
eclipse.preferences.version=1
JDK_INSTALLATION_NAME=jdk
JDK_HOME=C\:\\JDK5.0
SERVER_ENABLEMENT=true
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -