^thehatsrule^
Group: Members
Posts: 3275
Joined: July 2006 |
|
Posted: Nov. 06 2007,16:52 |
|
I would vote for building the menu just for the current wm, and if another is chosen, upon startup of that one it would be generated. I think this would benefit most because I don't think users change their wm preference. But if different users that use the same system would use a different wm, their startup would be slower, but I think it would still be preferable to do it this way and maybe make it customizable to which wm menus to update.
Quote | Does one really need to be switching back and forth between various window manager during run time? Is it worth it given the process overhead? | My opinion would be no, due to the same reason as above.
|