Fix the editing of the window title

This commit is contained in:
Stephen Boddy 2015-12-02 19:48:42 +01:00
parent 5fc34fe3c0
commit 74ca52582d
1 changed files with 0 additions and 1 deletions

View File

@ -1848,7 +1848,6 @@ class Terminal(Gtk.VBox):
( Gtk.STOCK_CANCEL, Gtk.ResponseType.REJECT, ( Gtk.STOCK_CANCEL, Gtk.ResponseType.REJECT,
Gtk.STOCK_OK, Gtk.ResponseType.ACCEPT )) Gtk.STOCK_OK, Gtk.ResponseType.ACCEPT ))
dialog.set_default_response(Gtk.ResponseType.ACCEPT) dialog.set_default_response(Gtk.ResponseType.ACCEPT)
dialog.set_has_separator(False)
dialog.set_resizable(False) dialog.set_resizable(False)
dialog.set_border_width(8) dialog.set_border_width(8)