IDE.Pane.Info

The GUI stuff for infos

Documentation

data IDEInfo

An info pane description

Instances

Typeable * IDEInfo

Pane IDEInfo IDEM

RecoverablePane IDEInfo InfoState IDEM

data InfoState

Constructors

InfoState (Maybe Descr)

Instances

Eq InfoState

Ord InfoState

Read InfoState

Show InfoState

Typeable * InfoState

RecoverablePane IDEInfo InfoState IDEM

showInfo :: IDEAction

setInfo :: Descr -> IDEAction

setInfoStyle :: IDEAction

replayInfoHistory :: Maybe Descr -> IDEAction

openDocu :: IDEAction