bug fix: when cursor is at end of screen a new line is inserted
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Bug fix: reverse search; new strategy for positioning cursor
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Ssignature of new_line_numbers changed; preparation for bug fix
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel