diff options
Diffstat (limited to 'src/Screen.hh')
-rw-r--r-- | src/Screen.hh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index 1906d67..b8d589b 100644 --- a/src/Screen.hh +++ b/src/Screen.hh | |||
@@ -520,8 +520,9 @@ private: | |||
520 | FbTk::StringResource windowmenufile; | 520 | FbTk::StringResource windowmenufile; |
521 | FbTk::UIntResource typing_delay; | 521 | FbTk::UIntResource typing_delay; |
522 | FbTk::IntResource workspaces, edge_snap_threshold, focused_alpha, | 522 | FbTk::IntResource workspaces, edge_snap_threshold, focused_alpha, |
523 | unfocused_alpha, menu_alpha, menu_delay, | 523 | unfocused_alpha, menu_alpha; |
524 | tab_width, tooltip_delay; | 524 | FbTk::RangedIntResource menu_delay; |
525 | FbTk::IntResource tab_width, tooltip_delay; | ||
525 | FbTk::BoolResource allow_remote_actions; | 526 | FbTk::BoolResource allow_remote_actions; |
526 | FbTk::BoolResource clientmenu_use_pixmap; | 527 | FbTk::BoolResource clientmenu_use_pixmap; |
527 | FbTk::BoolResource tabs_use_pixmap; | 528 | FbTk::BoolResource tabs_use_pixmap; |