diff options
| author | Dana Jansens <danakj@orodu.net> | 2007-03-24 17:01:40 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2007-03-24 17:01:40 +0000 |
| commit | 4c2b16e72d8b62addbf1aff0600ee2a77f22ec70 (patch) | |
| tree | 237c7b90873eda1c7d33803d93aa5a3c12a425e5 /openbox/config.h | |
| parent | af47a406171a280f7d19a5d5d870b2d810b48ef5 (diff) | |
kill window title numbering...
probably it was a dumb idea all along. you're not picking the numbers yourself and you're probably not remembering which window they apply to and the focus indicator thinger is much more clever than numbers
Diffstat (limited to 'openbox/config.h')
| -rw-r--r-- | openbox/config.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/openbox/config.h b/openbox/config.h index 96cd782c..c69e645b 100644 --- a/openbox/config.h +++ b/openbox/config.h @@ -91,8 +91,6 @@ extern gboolean config_theme_keepborder; extern gboolean config_theme_hidedisabled; /*! Titlebar button layout */ extern gchar *config_title_layout; -/*! Append a unique number to windows with same titles */ -extern gboolean config_title_number; /*! The font for the active window's title */ extern RrFont *config_font_activewindow; |