July 1, 2015
9:24 a.m.
On 30 Jun 2015, at 19:21, stepharo <stepharo@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