1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
authorrobekras <robekras>
Sun, 20 Nov 2011 15:43:00 +0000 (15:43 +0000)
committerrobekras <robekras>
Sun, 20 Nov 2011 15:43:00 +0000 (15:43 +0000)
commitd7203f9733b2b57c4c2b32a95025375d69486195
tree633469c32a471dc52e82ae225c327ea16adee43c
parent4290b915a4884541a8e91e69d57a15ea06519c77
1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default value of 25 undos.
net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java