Hey, to make it easier for everyone I pushed it to a feature branch. The new feature branch for this is: feature/line-numbers-in-basicIDE. As soon as you get your commit access by Michael, you can work on this branch without to worry about the master branch too much. Markus