int AppendText P((Option *opt, char *s));
void NewCommentPopup P((char *title, char *text, int index));
void GetActualPlacement P((GtkWidget *shell, WindowPlacement *wp));
+void DelayedDrag P((void));
#ifdef TODO_GTK
void CatchDeleteWindow(Widget w, String procname);
void GenericPopDown P((Widget w, XEvent *event, String *prms, Cardinal *nprms));