diff options
| author | Victor Kareh <[email protected]> | 2018-08-26 16:13:55 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2018-08-28 09:39:37 -0400 |
| commit | ffece2a205bf6a7f1530e9e845bd6279a69effc6 (patch) | |
| tree | 846b86bcf5d8dad96c4ff24446dc8e7c7c1c0360 /src/tools | |
| parent | 6203779411c96ed94f1e57a4514e42aa3eb024b7 (diff) | |
| download | marco-ffece2a205bf6a7f1530e9e845bd6279a69effc6.tar.bz2 marco-ffece2a205bf6a7f1530e9e845bd6279a69effc6.tar.xz | |
Don't show the ws switcher if we only have one
Origin: Ubuntu
Bug: https://bugzilla.gnome.org/show_bug.cgi
Bug-Ubuntu: https://bugs.launchpad.net/ubuntu/+source/metacity/+bug/506944
Author: Didier Roche <[email protected]>
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions