Re: integrate autobrackets in jEdit

Oh good eye! I missed that.
I guess there is git-svn and svn-all-fast-export you can use to convert it
to git and maintain the history. I don't want to lose it again like what
happened when kpouer brought things into subversion, so if you decide to
move over to git, I won't object as long as you keep the history.



On Wed, Dec 27, 2017 at 7:51 AM, sigzero <[email protected]> wrote:

> It's in the svn repo:  https://sourceforge.net/p/
> jedit/svn/HEAD/tree/plugins/FirstMate/
>
> I'll take a look. Might be a good side project.
>
> Bob
>
> On Wed, Dec 27, 2017 at 10:36 AM, Alan Ezust <[email protected]> wrote:
>
>> hi Bob,
>>
>> Since the original source is in bzr, I guess you need to use
>> git-remote-bzr to pull the origin into your local git clone.
>>
>> When you're done, we want to push it up to a git sf.net repository, so
>> we can make the 'offiical' clone there. And once it's there, people like me
>> and Dale might even hack around with it too.
>>
>> Unfortunately, there was a lot of info in our wiki which was just 'lost',
>> when the wiki was taken away from us by sf.net. The
>> http://jedit.org/index.php?page=devel page is getting a little out of
>> date but mostly it is still correct.
>>
>> Personally, I use Eclipse to develop plugins in jEdit, because of the
>> debugger and completion. I create a project for jEdit and another for each
>> plugin I want to work on, or for each dependent plugin.
>> That way I can easily navigate to the definition of anything with
>> ctrl+click.
>>
>>
>> On Wed, Dec 27, 2017 at 7:29 AM, sigzero <[email protected]> wrote:
>>
>>> Is there someplace that gives the "This is what you need to develop
>>> plugins"? Do people just use jEdit for the whole cycle or an IDE etc?
>>>
>>> Bob
>>>
>>> On Wed, Dec 27, 2017 at 10:25 AM, Alan Ezust <[email protected]>
>>> wrote:
>>>
>>>> Thanks sigzero, for making a good feature request, and posting it to
>>>> the correct tracker. You even assigned it to the right person.
>>>> Too bad he's no longer working on jEdit, so we need another volunteer.
>>>> I'll help someone new get started if he/she needs help.
>>>>
>>>> I wish other complainers understood how to do that kind of thing,
>>>> because that's how you make things better in jEdit.
>>>>
>>>> On Wed, Dec 27, 2017 at 6:57 AM, sigzero <[email protected]> wrote:
>>>>
>>>>> 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
>>>>>
>>>>>
>>>>
>>>
>>
>

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