Closed
Bug 1420820
Opened 7 years ago
Closed 7 years ago
Enable window manager detection/setup override
Categories
(Core :: Widget: Gtk, enhancement)
Core
Widget: Gtk
Tracking
()
RESOLVED
FIXED
mozilla59
| Tracking | Status | |
|---|---|---|
| firefox59 | --- | fixed |
People
(Reporter: stransky, Assigned: stransky)
References
Details
Attachments
(1 file)
We may need to provide a way to override window manager default config. It will help people to experiment and also easily test systems we don't have config for.
|
||
Comment 1•7 years ago
|
||
We could add a pref for overriding it.
|
Assignee | |
Comment 2•7 years ago
|
||
(In reply to Marco Castelluccio [:marco] from comment #1)
> We could add a pref for overriding it.
I tend to use env variable here as we also want to override an env variable (XDG_CURRENT_DESKTOP).
| Comment hidden (mozreview-request) |
|
||
Comment 4•7 years ago
|
||
| mozreview-review | ||
Comment on attachment 8934165 [details]
Bug 1420820 - Added MOZ_GTK_TITLEBAR_DECORATION to override window manager detection and set window decoration type,
https://reviewboard.mozilla.org/r/205108/#review210600
Attachment #8934165 -
Flags: review?(jhorak) → review+
Pushed by stransky@redhat.com:
https://hg.mozilla.org/integration/autoland/rev/b9b43214fcdc
Added MOZ_GTK_TITLEBAR_DECORATION to override window manager detection and set window decoration type, r=jhorak
|
||
Comment 6•7 years ago
|
||
| bugherder | ||
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla59
You need to log in
before you can comment on or make changes to this bug.
Description
•