[ jEdit-users ] Poll: Console Commands

[Damien R. <dam...@gm...>]

This is a quick poll to the jEdit user base to gauge general usage of the
console commando. In particular, we're looking to add new commands and
clean up ones that have fallen into complete disuse.

Please respond with a list of console commands that you either currently
use or would like to see added in a future release.

Thanks!
~Damien