void NewTagsPopup P((char *text, char *msg));
int AppendText P((Option *opt, char *s));
void NewCommentPopup P((char *title, char *text, int index));
+void GetActualPlacement P((GtkWidget *shell, WindowPlacement *wp));
#ifdef TODO_GTK
void CatchDeleteWindow(Widget w, String procname);
void GenericPopDown P((Widget w, XEvent *event, String *prms, Cardinal *nprms));
extern char memoTranslations[];
+extern GtkAccelGroup *GtkAccelerators;
+
#if TODO_GTK
extern Widget shells[];
extern Widget formWidget, shellWidget, boardWidget, menuBarWidget;