On Thu, 4 Dec 2014 at 16:11:43 +0800, David Maciejak wrote: > Hi, > > These patches are providing an implementation of a workspace pager. > Currently when called, a new frame presenting mini workspace images > are displayed > at the bottom of the screen above other windows. > When clicking on one of the miniatures, the workspace is switched and > the frame is closed. > > WPrefs was updated to be able to disable the feature from the expert zone > and to be able to configure the default key shortcut for the > action "Open workspace pager". > The default frame background can be configured by setting > an optional variable "WorkspaceMapBack" from WindowMaker conf file as in: > > WorkspaceMapBack = (tpixmap, "/tmp/testme.png", gray20); > > Drawbacks: a screenshot of the workspace is used for the miniatures. > This screenshot is taken only when a workspace switched event occurs. > > First, it means that the workspace switching process can be longer than usual. > Secondly, updated minitatures can only be available when the workspace > is "opened" (cause windows have to be mapped to be able to be copied). > So when wmaker is (re)started or when for example a window is moved to > another workspace the corresponding miniature is NOT updated. > (I did not find a clean and easy way to do so, feel free to share if > you have some ideas)
Thanks a lot, David! This is very nice. I think it is of fundamental importance to also be able to select the workspaces using only the keyboard, for example by hitting TAB. Do you think you can implement that? And perhaps the workspace images could be bounded by a frame border. It would be nice to have a border in case the color of the workspace map background is the same as the standard background. In any case, thanks a lot for your work! I was so happy that I even ignored the checkpatch errors, but please don't forget to check your patches next time :-) -- To unsubscribe, send mail to wmaker-dev-unsubscr...@lists.windowmaker.org.
