From ea8358c6617b6ebe3372a1986efa1b5bc58db642 Mon Sep 17 00:00:00 2001
From: Michael Fisher <mfisher31@gmail.com>
Date: Wed, 15 Aug 2012 01:57:07 -0500
Subject: [PATCH] is_visible to get_visible (gtkmm3)

---
 src/gui/panels/panel.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gui/panels/panel.cpp b/src/gui/panels/panel.cpp
index a284ca776..9387fbd5e 100644
--- a/src/gui/panels/panel.cpp
+++ b/src/gui/panels/panel.cpp
@@ -94,7 +94,7 @@ bool
 Panel::is_shown() const
 {
   //REQUIRE(dockItem != NULL);
-  return dockItem.is_visible();
+  return dockItem.get_visible();
 }
 
 void