#include <config.h>
#include <gtk/gtk.h>

void setup_panel()
{
}