Very, very nice! Pragtical might be my new text editor :) Many thanks!
However, I do miss the minimap... that I have now added (this is my second edit of this post).
Very, very nice! Pragtical might be my new text editor :) Many thanks!
However, I do miss the minimap... that I have now added (this is my second edit of this post).