4 Apr
2016
4 Apr
'16
7:37 p.m.
On Mon, 2016-04-04 at 21:07 +0200, Maren Hachmann wrote:
Maybe there's also an option to use a code plugin again, if there exists one (I couldn't find one yet). The pygments plugin was probably removed because it was incompatible (as the last release date from 2010 seems to hint at compatibility issues).
I can confirm I removed it for compatibility reasons. Sorry about the missing code, I did a search but didn't pick up on these uses.
Keep an eye open for any code viewing or hilighting functions, we can always add in things if they're useful and easy to maintain.
Martin,