}
-void gui_ShowFile(string const & f, Dialogs & d)
-{
- d.showFile(f);
-}
-
-
void gui_ShowForks(Dialogs & d)
{
d.showForks();
}
-void gui_ShowLogFile(Dialogs & d)
-{
- d.showLogFile();
-}
-
-
-void gui_ShowMathPanel(Dialogs & d)
-{
- d.showMathPanel();
-}
-
-
void gui_ShowPreamble(Dialogs & d)
{
d.showPreamble();
}
-void gui_ShowTexinfo(Dialogs & d)
-{
- d.showTexinfo();
-}
-
-
-void gui_ShowThesaurus(string const & s, Dialogs & d)
-{
- d.showThesaurus(s);
-}
-
-
-void gui_ShowVCLogFile(Dialogs & d)
-{
- d.showVCLogFile();
-}
-
} // extern "C"