| 290 | } |
| 291 | |
| 292 | void SetDefaultName(GtkFileChooser* chooser, const char* defaultName) { |
| 293 | if (!defaultName || !*defaultName) return; |
| 294 | |
| 295 | gtk_file_chooser_set_current_name(chooser, defaultName); |
| 296 | } |
| 297 | |
| 298 | void WaitForCleanup() { |
| 299 | while (gtk_events_pending()) gtk_main_iteration(); |