testing around with plugin properties ;)
authorgtonic <gtonic>
Fri, 9 Aug 2002 18:29:38 +0000 (18:29 +0000)
committergtonic <gtonic>
Fri, 9 Aug 2002 18:29:38 +0000 (18:29 +0000)
commit0a3d143cb3f1920506502cb914860498527b7dc9
tree88d99c9c31059c68d2f942bf7cc6ddb4a92e3039
parentdc7d03604d4a4ee69a5b4e76eabdffa7792a8bb1
testing around with plugin properties ;)
net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java
net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/editors/PHPEditor.java