void gui_ShowDocument(Dialogs &);
void gui_ShowForks(Dialogs &);
-void gui_ShowMathPanel(Dialogs &);
void gui_ShowPreamble(Dialogs &);
void gui_ShowPreferences(Dialogs &);
void gui_ShowPrint(Dialogs &);
void gui_ShowSearch(Dialogs &);
void gui_ShowSendto(Dialogs &);
void gui_ShowSpellchecker(Dialogs &);
-void gui_ShowTexinfo(Dialogs &);
-void gui_ShowThesaurus(string const &, Dialogs &);
} // extern "C"