> On 30 Jun 2015, at 19:21, stepharo <steph...@free.fr> wrote:
> 
> Hi guys
> 
> does any of you use the AST code navigation?
> Because we could remove it.

I think we never enabled it because we could not use good key combinations… the 
idea
was to use ctrl-arrow keys for it…

I still think that AST based navigation is a very good idea, removing it now 
without having
ever used it for real is not good.

        Marcus

Reply via email to