Searched defs:editor_status (Results 1 – 3 of 3) sorted by relevance
23 GtkWidget *editorwin = 0, *editorwin_menu, *editorwin_vbox, *editor_status; variable
174 void editor_status( const char *text) in editor_status() function
323 void editor_status( const char *format, ... ) in editor_status() function