Correctly handle quotation marks in command preferences (bug 2016):
treedba8ea84ad49bcdcfae9149f61a60971881f7ba8
-rw-r--r-- 68677 ABOUT-NLS
-rw-r--r-- 10937 ANNOUNCE
-rw-r--r-- 18883 COPYING
-rw-r--r-- 36031 ChangeLog
-rw-r--r-- 448950 ChangeLog.1
-rw-r--r-- 14404 INSTALL
-rw-r--r-- 4162 INSTALL.MacOSX
-rw-r--r-- 4288 INSTALL.Win32
-rw-r--r-- 9220 INSTALL.autoconf
-rw-r--r-- 4528 INSTALL.cmake
-rw-r--r-- 13297 INSTALL.scons
-rw-r--r-- 2026 Makefile.am
-rw-r--r-- 105653 NEWS
-rw-r--r-- 200052 OLD-CHANGES
-rw-r--r-- 7257 README
-rw-r--r-- 1254 README.Cygwin
-rw-r--r-- 501 README.Win32
-rw-r--r-- 4894 README.localization
-rw-r--r-- 2922 RELEASE-NOTES
-rw-r--r-- 8487 UPGRADING
-rwxr-xr-x 2679 autogen.sh
drwxr-xr-x - boost
drwxr-xr-x - config
-rw-r--r-- 14028 configure.ac
drwxr-xr-x - development
drwxr-xr-x - intl
drwxr-xr-x - lib
-rw-r--r-- 4939 lyx.man
drwxr-xr-x - m4
drwxr-xr-x - po
-rw-r--r-- 48109 rename.sh
drwxr-xr-x - sourcedoc
drwxr-xr-x - src
-rw-r--r-- 6483 status.15x