Refactor panel refresh; new debug option debug_frames

src/taskbar/task.c

@@ -640,7 +640,7 @@ void set_task_state(Task *task, TaskState state)
 					p->area.resize_needed = TRUE;
 				}
 			}
-			panel_refresh = TRUE;
+			schedule_panel_redraw();
 		}
 	}
 }
@@ -658,7 +658,7 @@ void blink_urgent(void *arg)
 		}
 		urgent_task = urgent_task->next;
 	}
-	panel_refresh = TRUE;
+	schedule_panel_redraw();
 }
 
 void add_urgent(Task *task)

src/taskbar/taskbar.c

@@ -366,7 +366,7 @@ void taskbar_default_font_changed()
 			}
 		}
 	}
-	panel_refresh = TRUE;
+	schedule_panel_redraw();
 }
 
 void taskbar_remove_task(Window *win)
@@ -536,7 +536,7 @@ void set_taskbar_state(Taskbar *taskbar, TaskbarState state)
 				schedule_redraw((Area *)l->data);
 		}
 	}
-	panel_refresh = TRUE;
+	schedule_panel_redraw();
 }
 
 #define NONTRIVIAL 2
@@ -649,7 +649,7 @@ void sort_tasks(Taskbar *taskbar)
 
 	taskbar->area.children = g_list_sort_with_data(taskbar->area.children, (GCompareDataFunc)compare_tasks, taskbar);
 	taskbar->area.resize_needed = TRUE;
-	panel_refresh = TRUE;
+	schedule_panel_redraw();
 	((Panel *)taskbar->area.panel)->area.resize_needed = TRUE;
 }
 

src/taskbar/taskbarname.c

@@ -113,7 +113,7 @@ void taskbarname_default_font_changed()
 			schedule_redraw(&taskbar->bar_name.area);
 		}
 	}
-	panel_refresh = TRUE;
+	schedule_panel_redraw();
 }
 
 void cleanup_taskbarname()