1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
authorrobekras <robekras>
Sun, 15 Jan 2012 16:26:09 +0000 (16:26 +0000)
committerrobekras <robekras>
Sun, 15 Jan 2012 16:26:09 +0000 (16:26 +0000)
commit9f3e5dba2aff7beaf4eccce65b2b9829a6b545ff
tree8b07ce3b4b44ce5d0a4105d939a5088a6c035331
parentc741154bf038803e472d6afa2e09a715a67dd2e2
1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default value of 25 undos.
net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPUnitEditor.java