void gui_deactivate_playlist(void) { window_deactivate(playlist_window); }
void gui_deactivate_filelist(void) { window_deactivate(filelist_window); }