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