[gedit] external tools: switch to the right bottom pane page

[Paolo Borelli <pborelli src gnome org>]

commit 0cbf5a45300aea89ba62617b1060e19210269845
Author: Paolo Borelli <pborelli gnome org>
Date:   Sat Mar 29 21:50:09 2014 +0100

    external tools: switch to the right bottom pane page
    
    A typo was preventing it to work

 plugins/externaltools/tools/outputpanel.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/outputpanel.py b/plugins/externaltools/tools/outputpanel.py
index 38fba6e..af842d1 100644
--- a/plugins/externaltools/tools/outputpanel.py
+++ b/plugins/externaltools/tools/outputpanel.py
@@ -173,7 +173,7 @@ class OutputPanel(UniqueById):
 
     def show(self):
         panel = self.window.get_bottom_panel()
-        panel.visible_child = self.panel
+        panel.props.visible_child = self.panel
         panel.show()
 
     def update_cursor_style(self, view, x, y):