titleShellF :: String -> F c d -> F (String ⊕ c) d titleShellF' :: (ShellF -> ShellF) -> String -> F c d -> F (String ⊕ c) d
titleShellF title fud
titleShellFcreates a shell window with a dynamically changeable title. An argument fudget determines the contents of the shell window.
titleShellFis useful in editors that wish to use the name of the file being edited as the window title.
titleShellF' is a custimisable version of
Right xis passed to
yis propagated to the output of the composition.
title :: String
fud :: F c d
Left titleto change the title of the window. It will receive
Left ()when the
WM_DELETE_WINDOWmessage is received from the the window manager.