the problem is i dont know eclipse internals that well. i think if johan, or anyone else was interested in spending time on it all he would have to do to check this out is to create a new eclipse plugin from the tabbed editor plugin wizard and then try to embed the java editor as one of the panes.
-igor On Sat, May 3, 2008 at 3:38 AM, Gerolf Seitz <[EMAIL PROTECTED]> wrote: > On Fri, May 2, 2008 at 10:05 PM, Igor Vaynberg <[EMAIL PROTECTED]> > wrote: > > > > however, it does have its problems. eclipse' java editor is not built > > with embedding in mind, so once you start using (2) you will miss out > > on such useful things as "mark occurences", double clicking the left > > border to set a breakpoint ( right clicking still works ), ctrl > > clicking into a class wont always work, etc. > > > > i think the idea is awesome, too bad eclipse makes it so hard to implement > > :( > > > > do you know (or can you estimate) what needs to be done to make > the java editor more flexible regarding these issues? > > since we have a spy in the eclipse camp (*cough* johan *cough*), > it's maybe worth a try. > > Gerolf > > P.S.: yes, i know johan isn't part of the JDT team ;) > > > > > > -igor > > > > > > On Fri, May 2, 2008 at 12:15 PM, Frank Silbermann > > <[EMAIL PROTECTED]> wrote: > > > > > > When I was developing in Wicket 1.2 I used Jbuilder 2006; it was what > > > the employer provided. Other developers, however, use Eclipse for > > their > > > (non-Wicket) projects, and Jbuilder 2007/8 are Eclipse-based, so I > > > figured might might as well start my Wicket 1.3 experiments using > > > Eclipse. > > > > > > What are the pros and (if any) cons of using the Wicket Bench plug-in? > > > Is it worth setting up if all I'm really going to be doing is (perhaps) > > > to upgrade a Wicket 1.2 application to Wicket 1.3? > > > > > > --------------------------------------------------------------------- > > > To unsubscribe, e-mail: [EMAIL PROTECTED] > > > For additional commands, e-mail: [EMAIL PROTECTED] > > > > > > > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [EMAIL PROTECTED] > > For additional commands, e-mail: [EMAIL PROTECTED] > > > > > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
