Re: [PATCH] make it possible to rename workspaces from "Workspace Menu"
"Rodolfo García Peñas (kix)" <[email protected]>
| Newsgroups | gmane.compw.window-managers.windowmaker.devel |
|---|---|
| Message-ID | <[email protected]> |
BALATON Zoltan <[email protected]> escribió: > 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? I agree, ctrl+click do it. IMO, no more functions/menu/code. Rodolfo García Peñas (kix) http://www.kix.es/ -- To unsubscribe, send mail to [email protected].