Hello, I have been using VsCoq for a day, and I am annoyed by the fact that my screen is not large enough to accomodate all these columns and let me see both the script window and the goal window. Is there a way to get rid of the synopsis window in the middle and the column on the left?
For the column on the left, just click on the "buttons" on the left. Never seen this "synopsis" thing.
I do often have similar feelings, not sure why. Maybe because there's often good reason to open the left column (e.g. for project-wide searches) and then forget it open for too long.
For me it looks like this because I disabled most of the column on the left.
You can use Ctrl + B to open/close the left panel.
I also disabled the minimap and the activity bar (knowing the names mean you can search them in settings).
thanks @Théo Winterhalter and sorry @Yves Bertot , you're right!
Last updated: Jun 04 2023 at 23:30 UTC