2 Commits (cfd071784ccd2ed53ecf4372bc077f2fe5145905)

Author	SHA1	Message	Date
Khurshid Alam	5cb22a97c4	[Gtk-3.20]: Drop custom style for gnome-terminal (#359). ... In gnome-terminal 3.20, we can choose either dark or light variant from terminal preference (irrespective of global variant). Hence no need for custom style. We keep the code for fallback and future reference.	2016-05-21 22:15:52 +05:30
Dustin Falgout	36ceea5cf9	Add support (beta) for gtk 3.20.	2016-04-08 23:30:09 -05:00