Florian Müllner 90b173a581 workspace: Move window captions
We consider the window previews the primary way to identify a window,
so it makes sense to give them as much space as possible. So in order
to not have title captions take up too much vertical space, overlay
them on top of the preview borders.

https://bugzilla.gnome.org/show_bug.cgi?id=783953
2017-08-10 11:27:39 +02:00
..
2017-08-10 11:27:39 +02:00
2016-11-04 16:08:10 +01:00