mono/monodevelop — pull request #471 by ddunkin (2014-01-09 06:28:00+00:00)
Title: [Ide] Bug 17135 - mdtool crashes with NullReferenceException

Gtk.Settings.Default can return null if there is no default screen, e.g.
running from a remote terminal. In this case, return a null Gtk theme in
the version description.