diff options
Diffstat (limited to 'plugins/keyboard')
| -rw-r--r-- | plugins/keyboard/keyboard.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/keyboard/keyboard.c b/plugins/keyboard/keyboard.c index b1923af3..0fc43e83 100644 --- a/plugins/keyboard/keyboard.c +++ b/plugins/keyboard/keyboard.c @@ -80,7 +80,7 @@ KeyBindingTree *firstnode = NULL; static KeyBindingTree *curpos; static guint reset_key, reset_state; -static Timer *chain_timer; +static ObTimer *chain_timer; static void grab_for_window(Window win, gboolean grab) { |