IDE.Pane.Info
data IDEInfo
data InfoState