Thank you for your patch Thomas !<br><br>In fact, I have done local modifications to the Code navigation plugin a while ago, but I did not commit them as I didn't tested them sufficiently.<br>I did not work on it those days, but I will commit my changes soon and integrate your patch.<br>

<br>As for the "goto file" feature, it is still planned ^^<br>