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

Instances

Eq InfoState

Ord InfoState

Read InfoState

Show InfoState

Typeable InfoState

RecoverablePane IDEInfo InfoState IDEM

setInfo :: Descr -> IDEAction

replayInfoHistory :: Maybe Descr -> IDEAction

openDocu :: IDEAction