Removed unnecessary method, PR #4796

2018-09-12 13:16:17 +02:00
parent dc34658683
commit ef0d9fac99
3 changed files with 2 additions and 10 deletions
--- a/rtgui/guiutils.cc
+++ b/rtgui/guiutils.cc
@@ -917,11 +917,6 @@ bool MyExpander::on_enabled_change(GdkEventButton* event)
    return false;
 }

-void MyExpander::setSensitive(bool makeSensitive)
-{
-    set_sensitive(makeSensitive);
-}
-
 /*
 *
 * Derived class of some widgets to properly handle the scroll wheel ;