search

Myriad-Dreamin / tinymist

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
https://myriad-dreamin.github.io/tinymist
Apache License 2.0
574 stars 27 forks source link

Option to hide "Profile | Preview ..." on editor panel #661

Open lukejanicke opened 2 hours ago

lukejanicke commented 2 hours ago

Motivation

Features that add UI elements should have toggle off/hide options in settings.

Description

The following is shown at the top of the editor panel in VS Code.

Profile | Preview ... | Preview in ... | Export PDF | Export as ...

It looks/feels cramped. I would like to toggle this off, as the standard VS Code preview button and keyboard shortcut are sufficient, and the PDF can be automatically generated. The UI elements are not necessary, and are little visually distracting.

See screen grab below.

Examples/Questions

Screenshot 2024-10-11 at 17 14 54
Myriad-Dreamin commented 1 hour ago

You can disable them by:

  "[typst]": {
    "editor.codeLens": false
  }