GNOME Bugzilla – Bug 722874
Make the preferences dialog a modal to the main window
Last modified: 2014-01-24 03:12:08 UTC
See the patch.
Created attachment 267089 [details] [review] Make the preferences dialog a modal to the main window
Review of attachment 267089 [details] [review]: Pushed as a03618e - Make the preferences dialog a modal to the main window