| commit | d9ead8591a7782fbdacabacd9b97a5cf0dbeb269 | |
| author | Matthew Brush <matt@geany.org> | |
| Sat, 27 Apr 2013 18:42:04 +0000 (27 11:42 -0700) | ||
| committer | Matthew Brush <matt@geany.org> | |
| Sat, 27 Apr 2013 18:42:04 +0000 (27 11:42 -0700) | ||
| tree | 835d611389844f5db7ca6f621406ee06a661b400 | treesnapshot (tar.gz zip) |
| parent | bb58d7cba452ed1d1ef62a259afb7918e7cf04fc | commitdiff |
Make editor-related View menu items document-sensitive again
They used to be because their parent menu item (Editor) was
document-sensitive but now they are in the top of the View
menu they need to be invdividually made so.
TODO: should they really be/have been document-sensitive? They
can still change the pref without a document open and their
equivalent options in the Preferences dialog are not
document-sensitive? Same goes for existing "Change Font" item.
They used to be because their parent menu item (Editor) was
document-sensitive but now they are in the top of the View
menu they need to be invdividually made so.
TODO: should they really be/have been document-sensitive? They
can still change the pref without a document open and their
equivalent options in the Preferences dialog are not
document-sensitive? Same goes for existing "Change Font" item.
| src/ui_utils.c | diffblobblamehistory |