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_pavel-c18985732b09da5f09189e91a145cb33e656688d.zip fluxbox_pavel-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 |