Yes, this comes as part of the Erlang shell. You could file a feature request on Erlang issues tracker but it is likely to be considered low priority. The best way to get this in is probably by contributing it yourself.
*José Valim* www.plataformatec.com.br Skype: jv.ptec Founder and Director of R&D On Sat, Feb 11, 2017 at 9:57 PM, anmol via elixir-lang-core < [email protected]> wrote: > This is a proposal to introduce a new configuration option to IEx. > > It's annoying for me to have the cursor jump to the matching parenthesis > when I enter the closing one. > > I find it distracting and jarring. It would be great to have an option to > disable this feature. > > See http://stackoverflow.com/questions/36654660/disable- > jumping-cursor-in-erlang-shell > > It seems like it actually has to do with the erlang shell so in order to > introduce this option, we'd need to first add it into the erlang standard > library. I'm not sure how any of this works under the surface (I only know > elixir) so I'm not sure what I should request in an erlang issue ( > https://bugs.erlang.org/issues/) so we should discuss that as well. > > -- > You received this message because you are subscribed to the Google Groups > "elixir-lang-core" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/elixir-lang-core/beba3d6f-6a0d-412a-8038- > 82d57e7fadf3%40googlegroups.com > <https://groups.google.com/d/msgid/elixir-lang-core/beba3d6f-6a0d-412a-8038-82d57e7fadf3%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "elixir-lang-core" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/elixir-lang-core/CAGnRm4JN%3De2g_cCpZmd8u_JBM1Uu2i3DqP3uec%3D%2BRN6n6Cr5JQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
