2015-05-03 | wenzelm | proper fold painter according to jEdit options, not the hardwired default of JEditEmbeddedTextArea; | changeset | files |
2015-05-03 | wenzelm | tuned output to resemble input syntax more closely; | changeset | files |
2015-05-03 | wenzelm | updated Eisbach, using version fb741500f533 of its Bitbucket repository; | changeset | files |
Loading... |