mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-22 14:08:06 +01:00
disable scrolling menu when it is in virtual desktop mode.
you have to click and drag to scroll the menu.
This commit is contained in:
@@ -689,6 +689,7 @@ void wWorkspaceManageEdge(WScreen *scr)
|
||||
|
||||
void wWorkspaceRaiseEdge(WScreen *scr)
|
||||
{
|
||||
puts("raise edge");
|
||||
if (wPreferences.vedge_thickness && initVDesk) {
|
||||
XRaiseWindow(dpy, scr->virtual_edge_u);
|
||||
XRaiseWindow(dpy, scr->virtual_edge_d);
|
||||
@@ -697,6 +698,17 @@ void wWorkspaceRaiseEdge(WScreen *scr)
|
||||
}
|
||||
}
|
||||
|
||||
void wWorkspaceLowerEdge(WScreen *scr)
|
||||
{
|
||||
puts("lower edge");
|
||||
if (wPreferences.vedge_thickness && initVDesk) {
|
||||
XLowerWindow(dpy, scr->virtual_edge_u);
|
||||
XLowerWindow(dpy, scr->virtual_edge_d);
|
||||
XLowerWindow(dpy, scr->virtual_edge_l);
|
||||
XLowerWindow(dpy, scr->virtual_edge_r);
|
||||
}
|
||||
}
|
||||
|
||||
void wWorkspaceResizeViewPort(WScreen *scr, int workspace, int width, int height)
|
||||
{
|
||||
scr->workspaces[workspace]->width = WMAX(width,scr->scr_width);
|
||||
|
||||
Reference in New Issue
Block a user