Added preference to disable modifying selection on Undo.
tree70064b33e34fb06960581f27bc6c0af2f4dd8ae6
-rw-r--r-- 17 .cvsignore
-rw-r--r-- 15008 COPYRIGHT
-rw-r--r-- 116248 ChangeLog
-rw-r--r-- 1560 Makefile
-rw-r--r-- 19357 README
-rw-r--r-- 19460 ReleaseNotes
drwxr-xr-x - doc
drwxr-xr-x - makefiles
drwxr-xr-x - source
drwxr-xr-x - util