Re: integrate autobrackets in jEdit

1. Nobody said it was just your requirement, including Stephan.

2. Without a poll, it's hard to say whether "most" people need it.  I've 
used auto-insertion of XML close tags; the xml plugin provides it.  I 
don't believe I've ever needed auto-insertion of other brackets.  But 
like I say, without a poll it's difficult to say from two data points 
(your experience and mine) whether "most" people need it.

3. If as you said in your original email the plugin that implements this 
functionality is new, then it sounds like "most" users of jEdit have not 
been clamoring for it, else there would have been a plugin that does 
this long ago (or it would have been added to the base code, as you are 
advocating).

4. Unwanted functionality often gets in the way for people who don't 
want/ need it.  One way to avoid this is to provide functionality in 
plug-ins, which is the case with autobrackets.

4. Plugins are easy to install, so I don't understand why you think "it 
should be available in jedit itself."  To me, that's a non sequitur.

In sum, the present situation (get the functionality via plugin if you 
need it) seems perfectly acceptable and understandable, and I for one 
disagree with making that functionality available in the jEdit base code.

BTW, I'm a happy user of jEdit; not being a Java programmer, I've never 
contributed anything except a couple bug reports and feature requests. 
And hopefully I've done so politely :-).

Along with Stephan, Merry Christmas to all!  And especially to those who 
have given freely of their time to create and maintain jEdit.
-- 
    Mike Maxwell
    "My definition of an interesting universe is
    one that has the capacity to study itself."
          --Stephen Eastmond

On 12/25/2017 8:26 AM, Kedar Pawar wrote:
> 
> It is not just my requirement, most people need it too. And as it is 
> already implemented, it is available only via plugin. But it should be 
> available in jedit itself, that is what the post is about. I think the 
> maintainers should consider it.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users