I created a Google Spreadsheet for this, feel free to edit it: Elm editor plugin comparison <https://docs.google.com/spreadsheets/d/1JJ21llMKaIYzy449ILvyzQCCmoapJxbVGr-FyRUgKCw/edit?usp=sharing>
> 2016. okt. 4. dátummal, 16:12 időpontban OvermindDL1 <overmind...@gmail.com> > írta: > > Are there a set of wiki pages that such a table could be set up at? Perhaps > at the elm-lang.github.io or so? This would be a good setup to add. I know > Atom plugins have all the below features for Elm (and more features). > > > On Tuesday, October 4, 2016 at 6:35:38 AM UTC-6, Andrew Radford wrote: > I'm also using this, but one thing that I can't figure out is how to copy > code to the elm repl. Never works if you copy more than one line... > > Would love to see a matrix of capabilities for common editors, covering > things like > > * Intellisense > * Send to Repl > * Go to definition > * Rename Refactor > * Elm-format > > etc etc. > > I think it would be a good tool for beginners (like me) to get going faster. > They won't need to 'survey the landscape' as much. > > On Tuesday, 4 October 2016 12:57:15 UTC+1, Witold Szczerba wrote: > Recently I've tried the VS Code. Installed the elm plugin and it works like a > charm. I'm positively surprised. > > > > > -- > You received this message because you are subscribed to a topic in the Google > Groups "Elm Discuss" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/elm-discuss/RbF_EgacGSM/unsubscribe > <https://groups.google.com/d/topic/elm-discuss/RbF_EgacGSM/unsubscribe>. > To unsubscribe from this group and all its topics, send an email to > elm-discuss+unsubscr...@googlegroups.com > <mailto:elm-discuss+unsubscr...@googlegroups.com>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
