2015-05-03 wenzelm proper fold painter according to jEdit options, not the hardwired default of JEditEmbeddedTextArea;
2015-05-03 wenzelm tuned output to resemble input syntax more closely;
2015-05-03 wenzelm updated Eisbach, using version fb741500f533 of its Bitbucket repository;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip