From 04377bfcc84c5a061d4c5e6898b5c9f909778761 Mon Sep 17 00:00:00 2001 From: vincent Date: Sun, 11 Nov 2018 18:55:47 +0100 Subject: [PATCH] add shortcut for hide awesome wibo --- awesome/.config/awesome/rc.lua | 3 +++ 1 file changed, 3 insertions(+) diff --git a/awesome/.config/awesome/rc.lua b/awesome/.config/awesome/rc.lua index c42726a..1923b4d 100644 --- a/awesome/.config/awesome/rc.lua +++ b/awesome/.config/awesome/rc.lua @@ -284,6 +284,9 @@ root.buttons(gears.table.join( -- {{{ Key bindings globalkeys = gears.table.join( + awful.key({ modkey }, "b", function () + mouse.screen.mywibox.visible = not mouse.screen.mywibox.visible + end,{description="toble wibox",group="awesome"}), awful.key({ modkey, }, "s", hotkeys_popup.show_help, {description="show help", group="awesome"}), awful.key({ modkey, }, "Left", awful.tag.viewprev,