IDE.Pane.Info

data IDEInfo

data InfoState

setInfo

replayInfoHistory

openDocu