Florian Müllner ef8c9e0abb workspace-switcher: Switch to vertical orientation ...

With workspaces now being stacked vertically, the horizontal
indicators in the workspace switcher are rather odd. There are
some designs for an improved workspace switch animation, but
it may take a while to implement them, so for now just change
the orientation of the existing switcher.

https://bugzilla.gnome.org/show_bug.cgi?id=641931

2011-02-09 20:02:51 +01:00

448 lines

16 KiB

XML

Raw Blame History