Re: integrate autobrackets in jEdit
Kedar Pawar <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CA++yqxD3yvOkSp7=exOD+E2RBELTupL2453QhnLmUS3SNVsAiw@mail.gmail.com> |
@sigzero, if you can do it so politely sir, then why don't you raise the feature request from my side. Anyways, i did not call anybody "lame" so I don't blame myself. And then there is no support for completion of single and double quotes also in jEdit - so that raises another question. And if its "All or notthing" then this can be configured in the optiosn pane also. Thanks. On 26 December 2017 at 21:07, sigzero <[email protected]> wrote: > Does anyone know if "Ollie Rutherfurd" is still around? The copyright in > the FirstMate plugin is 2006. Thought I would ask him if he still supported > it and if not politely ask if I could fork it. > > Thanks, > > Bob > > On Tue, Dec 26, 2017 at 2:36 PM, Michael Maxwell <[email protected]> > wrote: > >> Agreed, having everything or nothing autopair would be a big problem. >> Good reason NOT to include this functionality in the base jEdit >> >> >> >> Sent from my Windows 10 phone >> >> >> >> *From: *sigzero <[email protected]> >> *Sent: *Tuesday, December 26, 2017 11:30 AM >> *To: *Michael Maxwell <[email protected]> >> *Cc: *Kedar Pawar <[email protected]>; Steve Jakob >> <[email protected]>; jedit-users >> <[email protected]> >> >> *Subject: *Re: [ jEdit-users ] integrate autobrackets in jEdit >> >> >> >> 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