Re: integrate autobrackets in jEdit

I never said anyone called someone "lame". Maybe that was on a different
post that I missed.

Any "completion" stuff would go into the plugin and the FirstMate plugin
already has that.

--
Bob

On Wed, Dec 27, 2017 at 1:20 AM, Kedar Pawar <[email protected]> wrote:

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