¤ titleShellF, titleShellF'

Shells

Types

titleShellF :: String -> F c d -> F (String ⊕ c) d
titleShellF' :: (ShellF -> ShellF) -> String -> F c d -> F (String ⊕ c) d

Synopsis

titleShellF title fud

Description

titleShellF creates a shell window with a dynamically changeable title. An argument fudget determines the contents of the shell window. titleShellF is useful in editors that wish to use the name of the file being edited as the window title.

titleShellF' is a custimisable version of titleShellF.

Input

When x is input, Right x is passed to fud.

Output

When fud outputs Right y, y is propagated to the output of the composition.

Arguments

title :: String: initial window title
fud :: F c d: fudget that determines the contents of the shell window. It can output Left title to change the title of the window. It will receive Left () when the WM_DELETE_WINDOW message is received from the the window manager.