comparison: ui/motif/toolkit.c
ui/motif/toolkit.c
- changeset 923
- b72d47697644
- parent 898
- 0484fc666c1d
- child 928
- 35a0fd2f4f3d
equal
deleted
inserted
replaced
| 922:20dff5f878e1 | 923:b72d47697644 |
|---|---|
| 159 if(exit_on_shutdown) { | 159 if(exit_on_shutdown) { |
| 160 exit(0); | 160 exit(0); |
| 161 } | 161 } |
| 162 } | 162 } |
| 163 | 163 |
| 164 void ui_exit_mainloop() { | 164 void ui_app_quit() { |
| 165 XtAppSetExitFlag(app); | 165 XtAppSetExitFlag(app); |
| 166 } | 166 } |
| 167 | 167 |
| 168 void ui_secondary_event_loop(int *loop) { | 168 void ui_secondary_event_loop(int *loop) { |
| 169 while(*loop && !XtAppGetExitFlag(app)) { | 169 while(*loop && !XtAppGetExitFlag(app)) { |
