Closed asaumierdemers closed 7 years ago
It is a pity that the new sidebar doesn't show the user's current position in the document....
That can be fixed
It is a pity that the new sidebar doesn't show the user's current position in the document....