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