Closed GoogleCodeExporter closed 9 years ago
Changes made from Menu options are per document / per session. So it is
expected to not be saved.
If you want to make the change permanent then do it from the preferences dialog
instead.
Original comment by CodyPrec...@gmail.com
on 15 Jul 2012 at 2:11
Original issue reported on code.google.com by
ming030...@gmail.com
on 15 Jul 2012 at 7:19