diff options
author | Camil Staps | 2019-10-25 21:00:23 +0200 |
---|---|---|
committer | Camil Staps | 2019-10-25 21:00:23 +0200 |
commit | c88e141f9d94b68896856dd9f0abc3fcc1c63ee5 (patch) | |
tree | e57e33312d60a328b5590af6020008a3cc93571d /src/Gtk/State.icl | |
parent | Catch traverse event to (-1,0) which seems to be a bug in GtkSheet (diff) |
Add addTimeout for running a task on a certain interval
Diffstat (limited to 'src/Gtk/State.icl')
-rw-r--r-- | src/Gtk/State.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Gtk/State.icl b/src/Gtk/State.icl index e9bb625..4db51af 100644 --- a/src/Gtk/State.icl +++ b/src/Gtk/State.icl @@ -19,6 +19,8 @@ newGtkState = , return = False , signal_handlers = 'Data.Map'.newMap , signal_counter = 0 + , timeouts = 'Data.Map'.newMap + , timeout_counter = 0 , shares = 'Data.Map'.newMap } |