diff options
author | Campbell Barton <ideasman42@gmail.com> | 2018-06-21 15:54:21 +0300 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2018-06-21 15:54:21 +0300 |
commit | a4f08297ed3c201c66a340e5261cac0aeb68b523 (patch) | |
tree | fb169afe7b71d53aba0086e374dab4721a120e99 /source/blender/editors/interface/interface_handlers.c | |
parent | 52aa963f0ef1b6f4abba6653e9a441dee234127a (diff) |
UI: preference for developer extras
Currently only used for "Edit Source" feature.
Diffstat (limited to 'source/blender/editors/interface/interface_handlers.c')
-rw-r--r-- | source/blender/editors/interface/interface_handlers.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/source/blender/editors/interface/interface_handlers.c b/source/blender/editors/interface/interface_handlers.c index 48d9e186863..49617786236 100644 --- a/source/blender/editors/interface/interface_handlers.c +++ b/source/blender/editors/interface/interface_handlers.c @@ -7138,8 +7138,10 @@ static bool ui_but_menu(bContext *C, uiBut *but) } /* perhaps we should move this into (G.debug & G_DEBUG) - campbell */ - if (ui_block_is_menu(but->block) == false) { - uiItemFullO(layout, "UI_OT_editsource", NULL, ICON_NONE, NULL, WM_OP_INVOKE_DEFAULT, 0, NULL); + if (U.flag & USER_DEVELOPER_UI) { + if (ui_block_is_menu(but->block) == false) { + uiItemFullO(layout, "UI_OT_editsource", NULL, ICON_NONE, NULL, WM_OP_INVOKE_DEFAULT, 0, NULL); + } } if (BKE_addon_find(&U.addons, "ui_translate")) { |