added old hover behaviour;
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / text /
drwxr-xr-x   ..
-rw-r--r-- 5235 AbstractJavaScanner.java
-rw-r--r-- 3643 BufferedDocumentScanner.java
-rw-r--r-- 13395 ContentAssistPreference.java
-rw-r--r-- 11288 FastJavaPartitionScanner.java
-rw-r--r-- 7009 HTML2TextReader.java
-rw-r--r-- 4351 HTMLPrinter.java
-rw-r--r-- 4799 HTMLTextPresenter.java
-rw-r--r-- 10169 JavaAnnotationHover.java
-rw-r--r-- 3130 JavaColorManager.java
-rw-r--r-- 2869 JavaElementProvider.java
-rw-r--r-- 18086 JavaOutlineInformationControl.java
-rw-r--r-- 3740 JavaReconciler.java
-rw-r--r-- 1670 JavaWordFinder.java
-rw-r--r-- 2584 LineBreakingReader.java
-rw-r--r-- 5624 PHPCodeReader.java
-rw-r--r-- 3985 PHPPairMatcher.java
-rw-r--r-- 3575 SubstitutionTextReader.java
drwxr-xr-x - java
drwxr-xr-x - link
drwxr-xr-x - phpdoc
drwxr-xr-x - template