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 db357d1..1057229 100644 --- a/src/Screen.hh +++ b/src/Screen.hh | |||
@@ -537,8 +537,9 @@ private: | |||
537 | FbTk::StringResource windowmenufile; | 537 | FbTk::StringResource windowmenufile; |
538 | FbTk::UIntResource typing_delay; | 538 | FbTk::UIntResource typing_delay; |
539 | FbTk::IntResource workspaces, edge_snap_threshold, focused_alpha, | 539 | FbTk::IntResource workspaces, edge_snap_threshold, focused_alpha, |
540 | unfocused_alpha, menu_alpha, menu_delay, | 540 | unfocused_alpha, menu_alpha; |
541 | tab_width, tooltip_delay; | 541 | FbTk::RangedIntResource menu_delay; |
542 | FbTk::IntResource tab_width, tooltip_delay; | ||
542 | FbTk::BoolResource allow_remote_actions; | 543 | FbTk::BoolResource allow_remote_actions; |
543 | FbTk::BoolResource clientmenu_use_pixmap; | 544 | FbTk::BoolResource clientmenu_use_pixmap; |
544 | FbTk::BoolResource tabs_use_pixmap; | 545 | FbTk::BoolResource tabs_use_pixmap; |