--- /dev/null
+/* External shell widget external header file.
+ Copyright (C) 1993, 1994 Sun Microsystems, Inc.
+
+This library is free software; you can redistribute it and/or
+modify it under the terms of the GNU Library General Public
+License as published by the Free Software Foundation; either
+version 2 of the License, or (at your option) any later version.
+
+This library is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+Library General Public License for more details.
+
+You should have received a copy of the GNU Library General Public
+License along with this library; if not, write to
+the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA. */
+
+/* Synched up with: Not in FSF. */
+
+/* Written by Ben Wing, September 1993. */
+
+#ifndef _ExternalShell_h
+#define _ExternalShell_h
+
+#ifndef XtNwindow
+#define XtNwindow "window"
+#endif
+#ifndef XtCWindow
+#define XtCWindow "Window"
+#endif
+
+#ifndef XtNclientTimeout
+#define XtNclientTimeout "clientTimeout"
+#endif
+#ifndef XtCClientTimeout
+#define XtCClientTimeout "ClientTimeout"
+#endif
+
+#ifndef XtNdeadClient
+#define XtNdeadClient "deadClient"
+#endif
+#ifndef XtCDeadClient
+#define XtCDeadClient "DeadClient"
+#endif
+
+typedef struct _ExternalShellClassRec *ExternalShellWidgetClass;
+typedef struct _ExternalShellRec *ExternalShellWidget;
+extern WidgetClass externalShellWidgetClass;
+
+Bool ExternalShellReady(Widget w, Window win, long event_mask);
+void ExternalShellSetFocus(Widget w);
+void ExternalShellUnrealize(Widget w);
+
+#define is_external_shell(w) (XtClass (w) == externalShellWidgetClass)
+
+#endif /* _ExternalShell_h */