Re: [ jEdit-devel ] moving JTools' comment commands to TextTools

[Doug B. <br...@cl...>]

Robert Fletcher wrote:

> Hi Mike,
> 
> Slava suggested some time ago that I move the comment
> toggle commands from JTools to TextTools where they
> fit more logically. Since there has been some
> encouragement recently I've looked into how I could do
> this & it's pretty simple. If you're agreeable, I
> could make the changes. These would involve two new
> commands and an option pane. I don't think I would
> need to touch the existing code other than the .props,
> actions.xml and user-guide.xml files. If you like I
> would also be happy to upgrade the plugin to the jEdit
> 4.2 API which would make it easier for me to integrate
> the option pane. If you are okay with me making these
> changes would you rather I sent you a unified diff of
> the source tree or just updated CVS?
> 
> Regards,
> Rob Fletcher

For the record, D'oh!  I use JTools and the toggle commands, but not 
TextTools.  Not that I can't add TextTools - I just try to keep my 
plugin set to the absolute minimum for resource conservation.  Oh well.

Doug