Minor GUI tweaking - Alex
[terminatorX.git] / src / tX_panel.h
index 2484686fb96fb1eaa8908ff567b495cfda65cad3..010c499bc5baf1c8e13416ad005726e32b39a197 100644 (file)
@@ -28,4 +28,5 @@ class tX_panel
        static void minimize(GtkWidget *w, tX_panel *p);
 };
 
+extern void tX_panel_make_label_bold(GtkWidget *widget);
 #endif