Stream: VsCoq devs & users

Topic: saving some screen real estate


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Théo Winterhalter (Nov 16 2020 at 15:54):

You can use Ctrl + B to open/close the left panel.

view this post on Zulip 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).

view this post on Zulip Yves Bertot (Nov 16 2020 at 16:02):

Thks Théo.

view this post on Zulip Paolo Giarrusso (Nov 16 2020 at 21:56):

thanks @Théo Winterhalter and sorry @Yves Bertot , you're right!


Last updated: Jan 30 2023 at 17:03 UTC