Currently, code folding relies on preferences of JDT. Instead it should rely on our own preferences.
Leave a comment
on 2014-02-12 06:06 *
By Simon Schäfer
I'm confident that we eventually get rid of the JDT inherited stuff as much as possible.
No file chosen
You have an empty file field. Please select or remove it.
Name | Size |
---|