Re: integrate autobrackets in jEdit
sigzero <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CALp+1QuL=7xoA-N++ZVRtQkZ-QM52vreG4MeTDhAc4-63aMeJQ@mail.gmail.com> |
No, it is an "all or nothing" with completions in the plugin. It would be
nice (but beyond me) to have an options pain with something like (which is
what you suggested):
--- Autopairing ---
[X] '
[X] "
[X] [
[X] {
--- Custom ---
[ ] [textbox for custom paring]
Then you could pair what you wanted to pair.
--
Bob
On Tue, Dec 26, 2017 at 1:18 PM, Michael Maxwell <[email protected]>
wrote:
> Not an answer to your question, but a different question. Does the plugin
> allow choosing which pairs to auto complete? If you’re not programming xml
> or html, it would be inconvenient to have it add a greater than every time
> you type a less than… another option would be a check list of such pairs,
> to include paired quotes, paired chevrons etc
>
>
>
> *From: *sigzero <[email protected]>
> *Sent: *Tuesday, December 26, 2017 9:22 AM
> *To: *Kedar Pawar <[email protected]>
> *Cc: *Steve Jakob <[email protected]>; jedit-users
> <[email protected]>
> *Subject: *Re: [ jEdit-users ] integrate autobrackets in jEdit
>
>
>
> Looking at the source for the FirstMate plugin, it looks rather trivial to
> an autocomplete for "<>". How does one go about "updating a plugin"? That
> would be my next question.
>
> That brings me to another. Would it benefit the jEdit community to move
> all the plugins to github to facilitate updates like this?
>
>
>
> Bob
>
>
>
> On Tue, Dec 26, 2017 at 10:56 AM, Kedar Pawar <[email protected]>
> wrote:
>
> 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