Menu
▾
▴
RE: [ jEdit-users ] Macros
|
From: John G. <jge...@ms...> - 2002-06-20 21:38:56
|
I'll do that and let you know when it's done. John >From: car...@lo... >To: jed...@li... >Subject: RE: [ jEdit-users ] Macros >Date: Thu, 20 Jun 2002 14:50:56 -0400 > > >Using the pluginmgr package in jEdit, I have a functional >Macro Manager plugin. John, do you want to gzip the >macro listing now? I'll be ready for a first release in a couple >of days. > >Carmine > > > > >|---------+---------------------------> >| | "John Gellene" | >| | <jge...@ms...| >| | m> | >| | | >| | 06/19/02 07:34 | >| | PM | >| | | >|---------+---------------------------> > > >-------------------------------------------------------------------------------------------------------------------------------| > | > | > | To: car...@lo..., >jed...@li... > | > | cc: > | > | Fax to: > | > | Subject: RE: [ jEdit-users ] Macros > | > > >-------------------------------------------------------------------------------------------------------------------------------| > > > > >I was referring to the coding paradigm. The script emits a very long piece >of XML, longer than the plugin manager script, so compression would >definetely be worthwhile once we move beyond a prototype. The script >generates the XML listing dynamically. I think it should probably be >compressed and cached on the community server, with an automatic update >anytime the content management system changes the database table holding >the >macro. I'll make that transparent to the user, but probably change the >script to require a parameter in the string if full text is sought instead >of a gzipped stream. > >The database would have to pruned to get rid of old macros if this became a >production facility, but that's not a big deal. > >John > > >From: car...@lo... > >To: jed...@li... > >Subject: RE: [ jEdit-users ] Macros > >Date: Wed, 19 Jun 2002 08:58:38 -0400 > > > > > >I think John just meant to base the download/parse/show > >code on the Plugin Manger package in jEdit. This will > >definitely be a plugin to start. Won't have time to code it > >until this weekend however. > > > >Carmine > > > > > > > > > >|---------+---------------------------------------> > >| | "Slava Pestov" | > >| | <sl...@je...> | > >| | Sent by: | > >| | jed...@li...ur| > >| | ceforge.net | > >| | | > >| | | > >| | 06/19/02 01:58 AM | > >| | | > >|---------+---------------------------------------> > > > > > >-------------------------------------------------------------------------------------------------------------------------------| > > > | > > | > > | To: "jEdit-users list" ><jed...@li...> > > | > > | cc: > > | > > | Fax to: > > | > > | Subject: RE: [ jEdit-users ] Macros > > | > > > > > >-------------------------------------------------------------------------------------------------------------------------------| > > > > > > > > > > >On Wed, 2002-06-19 at 17:49, John Gellene wrote: > > > I wrote a script that does that. Try > > > http://community.jedit.org/get_macros_xml.php > > > > > > The DTD can be found at http://community.jedit.org/macros.dtd > > > > > > This works similarly to the Plugin Manager. You should be able to >adapt > > > the core code to create a Macro Manager. > > > >It would be nice if the PHP script gzipped the macro listing; this is > >what the plugin manager does to conserve bandwidth. > > > >I'm interested to see how this macro manager thing turns out; although > >I'm not sure if it should be in the core. > >-- > >Slava Pestov > > > > > > >---------------------------------------------------------------------------- > > > > > Bringing you mounds of caffeinated joy > > >>> http://thinkgeek.com/sf <<< > > > >-- > >----------------------------------------------- > >jEdit Users' List > >jEd...@li... > >https://lists.sourceforge.net/lists/listinfo/jedit-users > > > > > > > > > > > > > > > > >---------------------------------------------------------------------------- > > > Bringing you mounds of caffeinated joy > > >>> http://thinkgeek.com/sf <<< > > > >-- > >----------------------------------------------- > >jEdit Users' List > >jEd...@li... > >https://lists.sourceforge.net/lists/listinfo/jedit-users > > >_________________________________________________________________ >Chat with friends online, try MSN Messenger: http://messenger.msn.com > > > > > > > > > >------------------------------------------------------- >Sponsored by: >ThinkGeek at http://www.ThinkGeek.com/ >-- >----------------------------------------------- >jEdit Users' List >jEd...@li... >https://lists.sourceforge.net/lists/listinfo/jedit-users _________________________________________________________________ Send and receive Hotmail on your mobile device: http://mobile.msn.com |