Closed hediet closed 2 months ago
Currently, it requires 3 expansions to get to [[FunctionLocation]]:
[[FunctionLocation]]
Would be nice if that was one click on f.
f
I think identifying a function with its source location is very natural .
We now have this with DAP location references
Currently, it requires 3 expansions to get to
[[FunctionLocation]]
:Would be nice if that was one click on
f
.I think identifying a function with its source location is very natural .