1 files changed, 2 insertions, 0 deletions

diff --git a/src/fluxbox.hh b/src/fluxbox.hh
index 0eacc8d..667b4a9 100644
--- a/src/fluxbox.hh
+++ b/src/fluxbox.hh
@@ -128,7 +128,9 @@ public:
     int colorsPerChannel() const { return *m_rc_colors_per_channel; }
     int getNumberOfLayers() const { return *m_rc_numlayers; }
     int getTabsPadding() const { return *m_rc_tabs_padding; }
+#ifdef NOT_USED
     int getFocusedTabMinWidth() const { return *m_rc_focused_tab_min_width; }
+#endif
 
     // class to store layer numbers (special Resource type)
     // we have a special resource type because we need to be able to name certain layers