diff options
| author | Maxim Ermilov <[email protected]> | 2014-09-27 17:43:54 +0300 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2018-08-28 09:38:37 -0400 |
| commit | 37fecf49392eb10ada1f4bf481d6ad6be56891dd (patch) | |
| tree | 77e7190c06f6590a11ff305ce4066daba9825851 /src/ui/theme.h | |
| parent | 4f47c5be61320102120fcae6c8c04f63c5b4f5b5 (diff) | |
| download | marco-37fecf49392eb10ada1f4bf481d6ad6be56891dd.tar.bz2 marco-37fecf49392eb10ada1f4bf481d6ad6be56891dd.tar.xz | |
Optionally attach modal dialogs
Add a preference /apps/mutter/general/attach_modal_dialogs. When
true, instead of having independent titlebars, modal dialogs appear
attached to the titlebar of the parent window and are moved
together with the parent window.
https://bugzilla.gnome.org/show_bug.cgi?id=612726
NOTE: Patch copied from mutter and adapted for metacity.
Diffstat (limited to 'src/ui/theme.h')
0 files changed, 0 insertions, 0 deletions