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&#39;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 &quot;goto file&quot; feature, it is still planned ^^<br>