@b4n commented on this pull request.
On doc/images/main_window.png:
Agreed it could be bit improved having more room for the editor, event with Adwaita. And having it a bit taller is probably no problem. Something like this (though beware! it's a Git build and you can see it) 