IDE.Pane.Modules
data IDEModules
data ModulesState
selectIdentifier
reloadKeepSelection
replaySelHistory
replayScopeHistory
addModule