<div dir="ltr">Hi Max,<div><br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class=""><div class="h5"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
I would like to explain more my roadmap (like Tern Tooling<br>
<a href="https://github.com/angelozerr/tern.java/wiki/Tern-Toolings" target="_blank">https://github.com/angelozerr/<u></u>tern.java/wiki/Tern-Toolings</a> to provide<br>
Eclipse wizards to create JSON type definitions, server plugin and<br>
CodeMirror/Ace/Orion editor plugged with tern).<br>
</blockquote>
<br></div></div>
I don't see this as something that make sense in tern.java core - but if its just additions that<br>
can be installed separately fine by me.</blockquote><div><br></div><div>We have discussed about that. It's exactly that I have done. There are 2 plugins :</div><div><br></div><div> * <a href="https://github.com/angelozerr/tern.java/tree/master/eclipse/tern.eclipse.ide.tools.core">tern.eclipse.ide.tools.core</a></div>
<div> * <a href="https://github.com/angelozerr/tern.java/tree/master/eclipse/tern.eclipse.ide.tools.ui">tern.eclipse.ide.tools.ui</a></div><div><br></div><div>and when you install tern.java you can select or not "Tern Tooling" in the update site.</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class=""><br>
<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
What do you think about this idea of Google Groups "tern.java"?<br>
</blockquote>
<br></div>
sounds like a good idea - send link when you got it ? :)<br></blockquote><div><br></div><div>Cool! I will do it. </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<br>
Regards Angelo<br>
______________________________<u></u>_________________<br>
jbosstools-dev mailing list<br>
<a href="mailto:jbosstools-dev@lists.jboss.org" target="_blank">jbosstools-dev@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/jbosstools-dev" target="_blank">https://lists.jboss.org/<u></u>mailman/listinfo/jbosstools-<u></u>dev</a><br>
</blockquote>
<br>
<br>
/max<br>
<a href="http://about.me/maxandersen" target="_blank">http://about.me/maxandersen</a><br>
</blockquote></div><br></div></div></div>