Searched refs:global_mode_label (Results 1 – 1 of 1) sorted by relevance
78 GtkWidget *global_status_bar=0,*global_status_label=0,*global_mode_label=0; variable129 gtk_label_set_markup(GTK_LABEL(global_mode_label),buf); in update_mode_label()144 gtk_label_set_markup(GTK_LABEL(global_mode_label),buf); in update_mode_label()3035 global_mode_label=gtk_label_new("|"); in create_window()3036 gtk_label_set_justify(GTK_LABEL(global_mode_label),GTK_JUSTIFY_LEFT); in create_window()3037 gtk_box_pack_start(GTK_BOX(hbox),global_mode_label,FALSE,TRUE,0); in create_window()3038 gtk_widget_show(global_mode_label); in create_window()