Fix tab behavior of the editor (fixes #53)