-void gtk_plug_construct_for_display (GtkPlug *plug,
- GdkDisplay *display,
- Window socket_id);
-GtkWidget* gtk_plug_new_for_display (GdkDisplay *display,
- Window socket_id);
-
-Window gtk_plug_get_id (GtkPlug *plug);
-
-gboolean gtk_plug_get_embedded (GtkPlug *plug);
-
-GdkWindow *gtk_plug_get_socket_window (GtkPlug *plug);
+void gtk_plug_construct_for_display (GtkPlug *plug,
+ GdkDisplay *display,
+ Window socket_id);
+GtkWidget *gtk_plug_new_for_display (GdkDisplay *display,
+ Window socket_id);
+Window gtk_plug_get_id (GtkPlug *plug);
+gboolean gtk_plug_get_embedded (GtkPlug *plug);
+GdkWindow *gtk_plug_get_socket_window (GtkPlug *plug);