|Portability||portable (depends on GHC)|
Container for widgets from other processes
- data Socket
- class ContainerClass o => SocketClass o
- castToSocket :: GObjectClass obj => obj -> Socket
- gTypeSocket :: GType
- toSocket :: SocketClass o => o -> Socket
- data NativeWindowId
- socketNew :: IO Socket
- socketHasPlug :: SocketClass s => s -> IO Bool
- socketAddId :: SocketClass self => self -> NativeWindowId -> IO ()
- socketGetId :: SocketClass self => self -> IO NativeWindowId
- socketGetPlugWindow :: SocketClass self => self -> IO DrawWindow
- socketPlugAdded :: SocketClass self => Signal self (IO ())
- socketPlugRemoved :: SocketClass self => Signal self (IO Bool)
- onPlugAdded :: SocketClass self => self -> IO () -> IO (ConnectId self)
- afterPlugAdded :: SocketClass self => self -> IO () -> IO (ConnectId self)
- onPlugRemoved :: SocketClass self => self -> IO Bool -> IO (ConnectId self)
- afterPlugRemoved :: SocketClass self => self -> IO Bool -> IO (ConnectId self)
Socket provides the ability to embed widgets from
one process into another process in a fashion that is transparent to the
user. One process creates a
Socket widget and, passes the that widget's
window ID to the other process, which then creates a
Plug with that window
ID. Any widgets contained in the
Plug then will appear inside the first
The socket's window ID is obtained by using
socketGetId. Before using
this function, the socket must have been realized, and for hence, have been
added to its parent.
- Obtaining the window ID of a socket.
socket <- socketNew widgetShow socket containerAdd parent socket -- The following call is only necessary if one of -- the ancestors of the socket is not yet visible. -- widgetRealize socket socketId <- socketGetId socket putStrLn ("The ID of the sockets window is " ++ show socketId)
Note that if you pass the window ID of the socket to another process that
will create a plug in the socket, you must make sure that the socket widget
is not destroyed until that plug is created. Violating this rule will cause
unpredictable consequences, the most likely consequence being that the plug
will appear as a separate toplevel window. You can check if the plug has
been created by calling
If this returns
True, then the plug has been successfully created inside
of the socket.
When Gtk+ is notified that the embedded window has been destroyed, then it will destroy the socket as well. You should always, therefore, be prepared for your sockets to be destroyed at any time when the main event loop is running.
The communication between a
Socket and a
Plug follows the XEmbed
protocol. This protocol has also been implemented in other toolkits, e.g.
Qt, allowing the same level of integration when embedding a Qt widget in
Gtk+ or vice versa.
The identifer of a window of the underlying windowing system.
|:: SocketClass self|
|-> IO ()|
To embed a
Plug in a
Socket, you can either create the
Graphics.UI.Gtk.Embedding.Plug.plugNew Nothing, call
plugGetId to get the window ID of the
plug, and then pass that to the
socketAddId, or you can call
socketGetId to get the window ID for the socket, and call
plugNew passing in that ID.
Socket must have already be added into a toplevel window before you
can make this call.
|:: SocketClass self|
|-> IO DrawWindow|
returns the window of the plug if available, or
Retrieves the window of the plug. Use this to check if the plug has been created inside of the socket.
- Available since Gtk+ version 2.14
This signal is emitted when a client is successfully added to the socket.
This signal is emitted when a client is removed from the socket. The
default action is to destroy the
Socket widget, so if you want to reuse it
you must add a signal handler that returns