It does work, but it does not change when I switch the font-lock on/off
in the menu. Obviously I tried to switch it off in this case.

-- 
configuration not saved when selecting Options->Save Options
https://launchpad.net/bugs/53622

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to