stop-event-loop ( -- )


Vocabulary
ui.backend

Word description
Called by the UI to tell the backend to stop itself. Only needed by the GTK backend that otherwise gets stuck in 'gtk_main'.

Definition


Methods