[patch] gnome_error_dialog_parented.patch

gnome_error_dialog_parented.patch (text/plain), 580 bytes, created by Ed Catmur on 2005-12-01 01:32:47 UTC

--- /usr/share/pybliographer/Pyblio/GnomeUI/Editor.py	2005/12/01 09:03:07	1.1
+++ /usr/share/pybliographer/Pyblio/GnomeUI/Editor.py	2005/12/01 09:18:47
@@ -25,6 +25,13 @@
 
 import re, string
 from gnome import ui
+if "gnome_error_dialog_parented" not in ui.__dict__:
+	def gnome_error_dialog_parented(string, parent):
+		dialog = gtk.MessageDialog(parent, gtk.DIALOG_MODAL | gtk.DIALOG_DESTROY_WITH_PARENT, gtk.MESSAGE_ERROR, gtk.BUTTONS_OK, string)
+		dialog.run()
+		dialog.hide()
+	ui.gnome_error_dialog_parented = gnome_error_dialog_parented
+
 import gtk
 
 import copy, re