Yves Bertot (Nov 16 2020 at 15:44): Yves Bertot (Nov 16 2020 at 15:44):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?
Paolo Giarrusso (Nov 16 2020 at 15:46):For the column on the left, just click on the "buttons" on the left. Never seen this "synopsis" thing.
Paolo Giarrusso (Nov 16 2020 at 15:47):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.
Théo Winterhalter (Nov 16 2020 at 15:53):Capture-décran-2020-11-16-à-16.53.28-2.png
For me it looks like this because I disabled most of the column on the left.
Théo Winterhalter (Nov 16 2020 at 15:54):You can use Ctrl + B to open/close the left panel.
Théo Winterhalter (Nov 16 2020 at 15:56):I also disabled the minimap and the activity bar (knowing the names mean you can search them in settings).
Yves Bertot (Nov 16 2020 at 16:02):Thks Théo.
Paolo Giarrusso (Nov 16 2020 at 21:56):thanks @Théo Winterhalter and sorry @Yves Bertot , you're right!
Last updated: Apr 20 2024 at 05:01 UTC