Re: [PATCH] make it possible to rename workspaces from "Workspace Menu"

BALATON Zoltan <[email protected]>
Newsgroups gmane.compw.window-managers.windowmaker.devel
Message-ID <[email protected]> 
On Mon, 27 Jul 2015, Amadeusz Sławiński wrote:
> useful when there is no clip around

It's already possible to do this by Ctrl+clicking the menu item. (You can 
even rename other than the current workspace with that.) Do we need 
another menu item for it?

Regards,
BALATON Zoltan
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.