PHP highlighting colors could now be managed by the new PreferencePage
authorkhartlage <khartlage>
Sun, 6 Apr 2003 20:47:10 +0000 (20:47 +0000)
committerkhartlage <khartlage>
Sun, 6 Apr 2003 20:47:10 +0000 (20:47 +0000)
commitf9966f977131465431b086c6df088eb4e4498672
treed7462094fae9aaf2805b3183ad03de1ec467cb9a
parente22814acd889eb26401f10bdced4695c3152df9f
PHP highlighting colors could now be managed by the new PreferencePage
net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/PHPEditorPreferencePage.java