Added word wrap option (problem: conflicts with folding)
authorjsurfer <jsurfer>
Tue, 28 Sep 2004 19:25:47 +0000 (19:25 +0000)
committerjsurfer <jsurfer>
Tue, 28 Sep 2004 19:25:47 +0000 (19:25 +0000)
commita012cbd2da4bb4accf69d692b1edf47d177027d6
tree1cd1a882f0b5f20b6aa318169917c4002acfdfe0
parentd1f3d02112dc24d18dfbea1021941dcd6df7d7e4
Added word wrap option (problem: conflicts with folding)
net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/JavaEditorPreferencePage.java
net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/PreferencesMessages.properties
net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java
net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditor.java