diff options
author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-09-04 00:05:13 +0400 |
---|---|---|
committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-09-04 00:46:12 +0400 |
commit | 86ec8061f64cdb3e7d8a9829eb5224a1cd191745 (patch) | |
tree | 566daa6b46e166fdf763809a73b38bedfa7e9c96 /.gitignore | |
parent | 43feda73d9d23489d438468ed045de1747bd019f (diff) |
[Ide] Improve check for bad GTK+ themes on startup
* Actually check the current theme, not just the preference
* The Xamarin theme is the default fallback, if installed
* Tell the user to install additional themes if there aren't any
* Allow running with bad themes if no fallback exists
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions