Add 'Toggle Header' to header context menu.

Also disable collapsing the header by dragging it up/down. This prevents
accidentally hiding the header when resizing areas.
This commit is contained in:
Pablo Vazquez
2018-06-01 02:55:16 +02:00
parent a63b55f642
commit 35efa1d3d3
2 changed files with 3 additions and 2 deletions

View File

@@ -847,8 +847,7 @@ static void region_azone_edge_initialize(ScrArea *sa, ARegion *ar, AZEdge edge,
if (is_hidden) {
region_azone_tab_plus(sa, az, ar);
}
else {
} else if (!is_hidden && (ar->regiontype != RGN_TYPE_HEADER)) {
region_azone_edge(az, ar);
}
}

View File

@@ -3577,6 +3577,8 @@ void ED_screens_header_tools_menu_create(bContext *C, uiLayout *layout, void *UN
ARegion *ar = CTX_wm_region(C);
const char *but_flip_str = (ar->alignment == RGN_ALIGN_TOP) ? IFACE_("Flip to Bottom") : IFACE_("Flip to Top");
uiItemO(layout, IFACE_("Toggle Header"), ICON_NONE, "SCREEN_OT_header");
/* default is WM_OP_INVOKE_REGION_WIN, which we don't want here. */
uiLayoutSetOperatorContext(layout, WM_OP_INVOKE_DEFAULT);