|
From: Ted K. <ted...@gm...> - 2008-06-22 22:59:39
|
Alan wrote: > Is this something you need to make changes to jEdit core in order to > make your plugin work properly with folds? No. The code that handles fold execution is just a beanshell script that has a dependency on the Configurable Fold Handler plugin. The code is still experimental but when it stabilizes I will look into making it into a jEdit plugin. Thanks :-) Ted |