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/Signal.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/Signal.dcl')
| -rw-r--r-- | src/Gtk/Signal.dcl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Gtk/Signal.dcl b/src/Gtk/Signal.dcl index d92455e..692bf05 100644 --- a/src/Gtk/Signal.dcl +++ b/src/Gtk/Signal.dcl @@ -4,6 +4,7 @@ from System._Pointer import :: Pointer from Gtk.State import :: GtkM, :: GtkState from Gtk.Tune import class tune +from Gtk.Types import :: GtkTimeout from Gtk.Widgets import class gtkWidget class signalHandler h @@ -35,4 +36,7 @@ retrieveState :: GtkM GtkState //* Wrap functionality in `saveState` and `retrieveState` if it can be re-entrant. withPossibleCallback :: !(GtkM a) -> GtkM a -handleSignal :: !Int !{#Int} -> Int +handleSignal :: !Int !{#Int} -> Int // only for foreign export + +addTimeout :: !GtkTimeout !(GtkM Bool) -> GtkM () +handleTimeout :: !Int -> Int // only for foreign export |