#ifndef _TOPMENU_SERVER_H_
#define _TOPMENU_SERVER_H_

#include <gtk/gtk.h>

void topmenu_server_register_server_widget(GtkWidget *widget);
void topmenu_server_unregister_server_widget(GtkWidget *widget);

#endif