This question is locked. New answers and comments are not allowed.
Not too much of a big deal, but I noticed that clicking on a line number in the editor triggers code folding (where appropriate). Then a small "code unfold" icon appears but the "code fold" icon is missing beforehand.
BTW very nice and clean UI.
BTW very nice and clean UI.