Fixed desktop.ui (again). Works in Gtk 3.10.5