Info Editor¶
De Info-editor registreert de uitgevoerde operators, evenals fouten, waarschuwingen en informatieve berichten. Men kan een item selecteren door erop te klikken, eventueel de Shift-toets ingedrukt houdend om het toe te voegen aan de bestaande selectie.

Info Editor.¶