Quoting message written on Friday 2015-06-19 15:15:58: > Quoting message written on Saturday 2015-06-13 08:49:05: > > I'm planning to release wmaker-0.95.7 by the end of the > > next week, with the current state of the #master branch. > > > > This is a good time to test it to report any new problems > > or even old ones in case they were forgotten. > > Hi Carlos, > > I would kindly suggest that you postpone the new release for few more > weeks in order to give some more time for some bugs to eventually > get solved. > > I am currently trying to resurrect an old thread I have started few > months ago (which is probably not about a bug but a feature lost by > mistake at some point). > > I have two new bugs but they could be related to some compile problems > I am experiencing so I'll wait with it until that is resolved.
Another suggestion, this time about workspace pager. If I understood correctly workspace pager could not be seen unless a user sets some keyboard shortcut and then use it in order to open/close the workspace pager. That's fine but since such shortcut is not configured by default there is no way for user to open the workspace pager by accident thus this feature is effectively disabled by default. This feature also makes a huge impact on Windowmaker's workspace switching performance which is not visible if the feature is disabled by using "DisableWorkspacePager = YES" or via WPrefs tool (requires restart). I would suggest to set workspace pager feature to disable by default and change the option from "DisableWorkspacePager" to "EnableWorkspacePager" and to replace the description in the WPrefs from "Disable workspace pager." to "Enable workspace pager (requires restart, will produce impact on workspace switching performance)." Otherwise we will have Windowmaker which is slow by default because of the feature most people will never know that exists. I wonder if workspace pager feature really need to make it that slow. There are other issues with it: - it grabs the mouse and doesn't let it out of the pager area so one cannot normally work with windows while pager is opened. - one cannot select workspace in the pager area by using LEFT/RIGHT keyboard keys and this is the most intuitive thing one would expect especially because the keyboard seems to be grabbed as well and one cannot use other keyboard shortcuts while workspace pager is opened - pager cannot show images of the workspaces user didn't switched to yet, and they are shown completely white. - pager also doesn't doesn't correctly show window inside a workspace in case window has been sent to the workspace via "Move To" window menu. I do not expect to see any of this issues solved any time soon (if ever) but we could at least disable it by default until it stops making impact on workspace switching performance. -- Josip Deanovic -- To unsubscribe, send mail to wmaker-dev-unsubscr...@lists.windowmaker.org.
