[gimp] plug-ins: GimpProcBrowserDialog with "use-header-bar" in Python-console.

[Jehan <jehanp src gnome org>]

commit 0af32861e7a7522b7013f2b2d409f6660a04a296
Author: Jehan <jehan girinstud io>
Date:   Mon Aug 5 15:16:32 2019 +0200

    plug-ins: GimpProcBrowserDialog with "use-header-bar" in Python-console.
    
    We have code for this in gimp_proc_browser_dialog_new(), but it cannot
    be moved in the object init() because this is a construction-time only
    property. So this needs to be passed from the python call too.

 plug-ins/python/python-console/python-console.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/plug-ins/python/python-console/python-console.py 
b/plug-ins/python/python-console/python-console.py
index ff254a9ceb..d49b800796 100755
--- a/plug-ins/python/python-console/python-console.py
+++ b/plug-ins/python/python-console/python-console.py
@@ -170,7 +170,7 @@ def run(procedure, args, data):
 
         def browse(self):
             if not self.browse_dlg:
-                dlg = Gimp.ProcBrowserDialog()
+                dlg = Gimp.ProcBrowserDialog(use_header_bar=True)
                 Gtk.Window.set_title(dlg, _("Python Procedure Browser"))
                 Gtk.Window.set_role(dlg, PROC_NAME)
                 Gtk.Dialog.add_button(dlg, "Apply", Gtk.ResponseType.APPLY)