diff options
author | Florian Müllner <fmuellner@gnome.org> | 2011-12-03 01:47:25 +0100 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2011-12-15 16:31:56 +0100 |
commit | 4f8f8fe828dbb5b1a2e54a26a58149e437cd5820 (patch) | |
tree | e41bd520e016cc6950863f35a7d30aaa787de6df /gdk/broadway/gdkscreen-broadway.h | |
parent | cfa0339559ed7dcfd8e85db5df05b106db7ef36b (diff) | |
download | gtk+-4f8f8fe828dbb5b1a2e54a26a58149e437cd5820.tar.gz |
window: Add hide-titlebar-when-maximized property
For maximized windows, titlebars cannot be used to reposition or
scale the window, so if an application does not use it to convey
useful information (other than the application name), the screen
space occupied by titlebars could be put to better use.
Add a new window property which requests from the window manager
to hide titlebars when windows are maximized to account for this.
https://bugzilla.gnome.org/show_bug.cgi?id=665616
Diffstat (limited to 'gdk/broadway/gdkscreen-broadway.h')
0 files changed, 0 insertions, 0 deletions