> 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