Thank you for your patch Thomas !
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. I did not work on it those days, but I will commit my changes soon and integrate your patch.
As for the "goto file" feature, it is still planned ^^