RE: [ jEdit-devel ] Further refactoring questions

[Doug <umm...@ya...>]

i'd personally rather have them separate.  i might use
one without the other.

--- "Bentley, Tim" <TIM...@ca...> wrote:
> Dirk -
> 
> Thanks for the response.  I'll give things a go and
> see how it pans out.
> I've checked out the JavaStyle code - looks good.  I
> was originally thinking
> of a separate plugin, but I can see how a single one
> wrapping both the
> Pretty Printer and (some of) the other JRefactory
> functions might be a more
> attractive option.
> 
> Not sure what the time frame will be (I have lots of
> 'real work' to keep me
> busy!) but I'll keep you informed of progress :-)
> 
> 
> Regards,
> 
> 
> Tim
> 
> > -----Original Message-----
> > From: Dirk Moebius [mailto:dmo...@gm...]
> > Sent: Monday, 24 June 2002 6:32 PM
> > To: jed...@li...
> > Subject: Re: [ jEdit-devel ] Further refactoring
> questions
> > 
> > Hi Tim, integrating the refactoring capabilities
> of JRefactory into
> > JavaStyle is a good idea. I always wanted to do it
> but never 
> > got the time. I'd love
> > to see someone do it. 
> > 
> > You have my permission to extend/modify/rewrite
> the JavaStyle 
> > plugin to
> > integrate it. Just check in your changes, and I'll
> have a 
> > look over it before you
> > release a new version.
> > 
> > Dirk.
> > 
> > -- 
> > GMX - Die Kommunikationsplattform im Internet.
> > http://www.gmx.net
> > 
> > 
> > 
> >
>
-------------------------------------------------------
> > Sponsored by:
> > ThinkGeek at http://www.ThinkGeek.com/
> > -- 
> > -----------------------------------------------
> > jEdit Developers' List
> > jEd...@li...
> >
>
https://lists.sourceforge.net/lists/listinfo/jedit-devel
> > 
> 
> 
>
-------------------------------------------------------
> Sponsored by:
> ThinkGeek at http://www.ThinkGeek.com/
> -- 
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
>
https://lists.sourceforge.net/lists/listinfo/jedit-devel


__________________________________________________
Do You Yahoo!?
Yahoo! - Official partner of 2002 FIFA World Cup
http://fifaworldcup.yahoo.com