Re: integrate autobrackets in jEdit
Kedar Pawar <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CA++yqxCeE6t_VW1MGDRq+eS=9n6tgkyyV9bS-jmYKG8_98vyuw@mail.gmail.com> |
Thats fine. It was nice to meet the community though. Thanks for replies. On 26 Dec 2017 20:28, "sigzero" <[email protected]> wrote: > 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