X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=blobdiff_plain;f=gtk%2Fxboard.h;h=3318cb767266921741e50107d5b0197cbe712735;hp=ca3656b0c336203e12b33bd20a8ab87c7701ce33;hb=d4abf3cd04ded810e1d46954053369e5f8fb7ac6;hpb=2ed2d3bc5dceb2c7d4036abbf0200af7235720e6

diff --git a/gtk/xboard.h b/gtk/xboard.h
index ca3656b..3318cb7 100644
--- a/gtk/xboard.h
+++ b/gtk/xboard.h
@@ -126,6 +126,7 @@ 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));
+void DelayedDrag P((void));
 #ifdef TODO_GTK
 void CatchDeleteWindow(Widget w, String procname);
 void GenericPopDown P((Widget w, XEvent *event, String *prms, Cardinal *nprms));