void gui_update_playlist(void) { window_draw_border(playlist_window); window_draw_title(playlist_window); window_draw_scrollbar(playlist_window); window_draw_list(playlist_window); window_update(playlist_window); }
void gui_update_filelist(void) { if(!filelist_window){ return; } window_draw_border(filelist_window); window_draw_title(filelist_window); window_draw_scrollbar(filelist_window); window_draw_list(filelist_window); window_update(filelist_window); //Update the info window as we are updated as well gui_update_info(); gui_update(); }