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.dcl | |
| 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.dcl')
| -rw-r--r-- | src/Gtk/State.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Gtk/State.dcl b/src/Gtk/State.dcl index 7e56fcf..43b5869 100644 --- a/src/Gtk/State.dcl +++ b/src/Gtk/State.dcl @@ -15,6 +15,8 @@ from Gtk.Signal import :: SignalHandlerInternal , return :: !Bool , signal_handlers :: !Map Int SignalHandlerInternal , signal_counter :: !Int + , timeouts :: !Map Int (GtkM Bool) + , timeout_counter :: !Int , shares :: !Map ShareId Dynamic // TODO: make this map strict to be able to free references in it } |