diff options
| author | Felipe Barriga Richards <[email protected]> | 2017-01-06 13:48:20 -0300 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-06-05 08:23:38 +0200 |
| commit | 5ded52f5e98d60abb903cc9194714a9b293ad482 (patch) | |
| tree | 4075b294302ee894f491422085f7739f241b1dd7 /src/ui/draw-workspace.h | |
| parent | 669e59f9caa7d8d738a189fee899cbfbe5de97a0 (diff) | |
| download | marco-5ded52f5e98d60abb903cc9194714a9b293ad482.tar.bz2 marco-5ded52f5e98d60abb903cc9194714a9b293ad482.tar.xz | |
Added hotkey to rename current workspace
Diffstat (limited to 'src/ui/draw-workspace.h')
0 files changed, 0 insertions, 0 deletions