[gedit] external tools: port to stack API

[Paolo Borelli <pborelli src gnome org>]

commit b28b951fae6545fb45d9d671cb1177038a53fef5
Author: Paolo Borelli <pborelli gnome org>
Date:   Wed Feb 5 11:54:03 2014 +0100

    external tools: port to stack API

 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 3f97c8c..03ad21d 100644
--- a/plugins/externaltools/tools/outputpanel.py
+++ b/plugins/externaltools/tools/outputpanel.py
@@ -132,7 +132,7 @@ class OutputPanel(UniqueById):
 
     def visible(self):
         panel = self.window.get_bottom_panel()
-        return panel.props.visible and panel.item_is_active(self.panel)
+        return panel.props.visible and panel.props.visible_child == self.panel
 
     def write(self, text, tag = None):
         buffer = self['view'].get_buffer()