Re: integrate autobrackets in jEdit

I am wondering how hard it would be to just update the plugin to include
the functionality.

I don't agree with it being in the core as that's not the jEdit manifesto.

Bob

On Tue, Dec 26, 2017 at 7:05 AM, Kedar Pawar <[email protected]> wrote:

> >> that You can't do many things without any plugin installed
>
> do I really need a plugin for a feature that should be available in the
> editor itself??
> If jEdit supports syntax highlighting, multiple character sets and
> indentation, then this is not an uncommon feature to have.
> Actually it will be nice to see this feature included in the future
> versions of jEdit. I hope the developers come to agree with that.
>
> Regards.
>
>
>
> On 25 December 2017 at 23:42, Steve Jakob <[email protected]>
> wrote:
>
>> This is one of the main things that I appreciate about jEdit. A good
>> basic editor that’s VERY flexible. I also appreciate the work that all of
>> the maintainers and plugin authors have contributed. I feel fortunate that
>> I had the opportunity to meet Slava years ago, say my thanks in person and
>> share a pitcher of beer.
>> :-)
>>
>> Merry Christmas folks,
>>
>> Steve Jakob
>>
>> > On Dec 25, 2017, at 1:40 PM, Robert Schwenn <
>> [email protected]> wrote:
>> >
>> >
>> >>  ... Is there any reason that such simple feature is not included ...
>> >
>> > Yes, there is a reason ;-). One of jEdit's ideas is to provide a
>> sophisticated core, but most user features by plugins. You may have noticed
>> that You can't do many things without any plugin installed. jEdit simply
>> isn't the application for people who want a full-featured editor out of the
>> box. It's for people who like to compose their "own" editor.
>> >
>> > Merry Christmas to all.
>> > Robert
>> > ------------------------------------------------------------
>> ------------------
>> > 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
>>
>>
>> ------------------------------------------------------------
>> ------------------
>> 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
>>
>
>
> ------------------------------------------------------------
> ------------------
> 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
>
>

------------------------------------------------------------------------------
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