auxShellF :: String -> F c b -> F (Bool ⊕ c) (Bool ⊕ b) delayedAuxShellF :: String -> F c b -> F (Bool ⊕ c) (Bool ⊕ b)
auxShellF title fud
auxShellF
is used to created auxiliary windows that can be opened and closed by the
user during the run of the program. Auxiliary windows differ from popup windows
in that they aren't modal, i.e., they do not block the main window while they
are open.
Left True
opens the window. Left False
closes the window.
Right x
propagates x
to the enclosed fudget.
For auxShellF
Right x
is passed to the enclosed fudget
also while the fudget is closed. For
delayedAuxShellF
, no input is sent to the enclosed fudget while
the window is closed. Instead, the latest Right x
message is
buffered until the window is opened by a Left True
message.
Left False
is output when the user clicks on the close button
provided by the window manager. The program is responsible for closing
the window. Right y
is output when the enclosed fudget outputs
y
.
title :: String
fud :: F c b
auxShellF
: wmShellF'