On 01 Jul 2015, at 23:30, stepharo steph...@free.fr wrote:
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
On 01 Jul 2015, at 14:28, Thierry Goubier thierry.goub...@gmail.com wrote:
Hi Marcus, Stef,
2015-07-01 11:24 GMT+02:00 Marcus Denker marcus.den...@inria.fr
mailto:marcus.den...@inria.fr:
On 30 Jun 2015, at 19:21, stepharo steph...@free.fr
mailto:steph...@free.fr wrote:
Hi guys
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
Hi Marcus, Stef,
2015-07-01 11:24 GMT+02:00 Marcus Denker marcus.den...@inria.fr:
On 30 Jun 2015, at 19:21, stepharo steph...@free.fr wrote:
Hi guys
does any of you use the AST code navigation?
I haven't.
Because we could remove it.
I think we never enabled it because we could
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
Hi guys
does any of you use the AST code navigation?
Because we could remove it.
Stef