(Actually; kind of side comment - why is the rows value associated with the panel widget? Given that there are shortcut binds for the window manager for up/down/right/left in workspaces it seems odd to have this setting on the panel widget).
(Actually; kind of side comment - why is the rows value associated with the panel widget? Given that there are shortcut binds for the window manager for up/down/right/left in workspaces it seems odd to have this setting on the panel widget).