}
-bool dock_may_destroy(WDock *dock)
-{
- if(dock->dockapps!=NULL){
- warn_obj(modname, "Dock \"%s\" is still managing other objects "
- " -- refusing to close.", region_name((WRegion*)dock));
- return FALSE;
- }
-
- return TRUE;
-}
-
-
EXTL_EXPORT
WDock *mod_dock_create(ExtlTab tab)
{
static WPHolder *dock_prepare_manage(WDock *dock, const WClientWin *cwin,
const WManageParams *param UNUSED,
- int redir)
+ int priority)
{
- if(redir==MANAGE_REDIR_STRICT_YES)
+ if(!MANAGE_PRIORITY_OK(priority, MANAGE_PRIORITY_LOW))
return NULL;
return (WPHolder*)create_basicpholder((WRegion*)dock,
}
return region_manage_clientwin((WRegion*)dock, cwin, param,
- MANAGE_REDIR_PREFER_NO);
+ MANAGE_PRIORITY_NONE);
}
{region_size_hints, dock_size_hints},
{(DynFun*)region_fitrep, (DynFun*)dock_fitrep},
{(DynFun*)region_orientation, (DynFun*)dock_orientation},
- {(DynFun*)region_may_destroy, (DynFun*)dock_may_destroy},
{(DynFun*)region_handle_drop, (DynFun*)dock_handle_drop},
{(DynFun*)region_managed_get_pholder,