Commit Graph

5 Commits

Author SHA1 Message Date
Michael Catanzaro
f394fd0c1e Revert previous commit: headerbar will come in 3.32 final 2019-03-16 14:00:21 -05:00
Michael Catanzaro
0e064ef957 Enable the headerbar 2019-03-16 13:49:54 -05:00
Debarshi Ray
d29daedd37 Update to 3.30.1
Use a GSettings override to separate the menuitems for opening tabs and
windows.

Without the separate menuitems, it was not possible to open new tabs or
windows solely by using the mouse if the preference was set to windows
or tabs respectively. This isn't ideal for accessibility.

The preference is also hard to discover and there was simply no strong
justification for unifying the menuitems in the first place.

The org.gnome.Terminal.Legacy.Settings:new-terminal-mode preference is
ignored when the menuitems are separated.

https://bugzilla.redhat.com/show_bug.cgi?id=1300826
2018-10-05 19:16:23 +02:00
Debarshi Ray
30c8ab2558 Adjust the dark terminal override to match the new setting 2016-02-18 15:58:37 +01:00
Debarshi Ray
4267ec3010 Use the dark theme variant 2014-04-03 14:34:06 +02:00