added old hover behaviour;
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / preferences /
drwxr-xr-x   ..
-rw-r--r-- 16195 CodeFormatterPreferencePage.java
-rw-r--r-- 164 CodeFormatterPreviewCode.txt
-rw-r--r-- 279 ColorSettingPreviewCode.txt
-rw-r--r-- 19793 EditTemplateDialog.java
-rw-r--r-- 3072 MembersOrderPreferenceCache.java
-rw-r--r-- 10352 MembersOrderPreferencePage.java
-rw-r--r-- 10877 OverlayPreferenceStore.java
-rw-r--r-- 64091 PHPEditorPreferencePage.java
-rw-r--r-- 1430 PreferencesMessages.java
-rw-r--r-- 31074 PreferencesMessages.properties
-rw-r--r-- 23097 TemplatePreferencePage.java