diff options
author | markt <markt> | 2006-07-01 03:32:53 (GMT) |
---|---|---|
committer | markt <markt> | 2006-07-01 03:32:53 (GMT) |
commit | c18985732b09da5f09189e91a145cb33e656688d (patch) | |
tree | 7b403311860659c0e1022716663f6860dc4ee7cf /src/fluxbox.hh | |
parent | 698539d9b9012bb6c282725e775e358c1bd4a281 (diff) | |
download | fluxbox-c18985732b09da5f09189e91a145cb33e656688d.zip fluxbox-c18985732b09da5f09189e91a145cb33e656688d.tar.bz2 |
more dead functions
Diffstat (limited to 'src/fluxbox.hh')
-rw-r--r-- | src/fluxbox.hh | 2 |
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: | |||
128 | int colorsPerChannel() const { return *m_rc_colors_per_channel; } | 128 | int colorsPerChannel() const { return *m_rc_colors_per_channel; } |
129 | int getNumberOfLayers() const { return *m_rc_numlayers; } | 129 | int getNumberOfLayers() const { return *m_rc_numlayers; } |
130 | int getTabsPadding() const { return *m_rc_tabs_padding; } | 130 | int getTabsPadding() const { return *m_rc_tabs_padding; } |
131 | #ifdef NOT_USED | ||
131 | int getFocusedTabMinWidth() const { return *m_rc_focused_tab_min_width; } | 132 | int getFocusedTabMinWidth() const { return *m_rc_focused_tab_min_width; } |
133 | #endif | ||
132 | 134 | ||
133 | // class to store layer numbers (special Resource type) | 135 | // class to store layer numbers (special Resource type) |
134 | // we have a special resource type because we need to be able to name certain layers | 136 | // we have a special resource type because we need to be able to name certain layers |