comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 942
- 488178e3e328
- parent 931
- 6ca1ef6c8107
- child 946
- 081651de86a3
equal
deleted
inserted
replaced
| 941:e7459e9fbed2 | 942:488178e3e328 |
|---|---|
| 162 } | 162 } |
| 163 } | 163 } |
| 164 | 164 |
| 165 #ifndef UI_GTK2 | 165 #ifndef UI_GTK2 |
| 166 void ui_app_quit() { | 166 void ui_app_quit() { |
| 167 g_application_quit(G_APPLICATION(app)); | 167 g_application_quit(G_APPLICATION(app)); // TODO: fix, does not work |
| 168 } | 168 } |
| 169 | 169 |
| 170 GtkApplication* ui_get_application() { | 170 GtkApplication* ui_get_application() { |
| 171 return GTK_APPLICATION(app); | 171 return GTK_APPLICATION(app); |
| 172 } | 172 } |
