Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: themeable infoview colors #370

Merged
merged 1 commit into from
Jan 9, 2024
Merged

feat: themeable infoview colors #370

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,18 @@ name of the relative path to the store the logs.

* `lean4.infoview.reverseTacticState`: show each goal above its local context by default. This can also be toggled by clicking a button (see the Infoview panel description above). The default is `false`.

#### Colors

These colors are used to display proof states in the infoview:

* `lean4.infoView.hypothesisName`: accessible hypothesis names
* `lean4.infoView.inaccessibleHypothesisName`: inaccessible hypothesis names
* `lean4.infoView.goalCount`: the number of goals
* `lean4.infoView.turnstile`: the turnstile (⊢) that separates the hypotheses from the goal
* `lean4.infoView.caseLabel`: case labels (e.g. `case zero`)

They can be set in a color theme, or under `workbench.colorCustomizations` in the settings file.

## Extension commands

This extension also contributes the following commands, which can be bound to keys if desired using the [VS Code keyboard bindings](https://code.visualstudio.com/docs/getstarted/keybindings).
Expand Down
20 changes: 5 additions & 15 deletions lean4-infoview/src/infoview/index.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,27 +30,17 @@ html,body {
}

/* These are syntax highlights for the string goal view. */
.goal-goals { color: #569cd6; }
.goal-vdash { color: #569cd6; }
.goal-case { color: #a1df90; }
.goal-hyp { color: #ffcc00; }
.goal-goals { color: var(--vscode-lean4-infoView\.goalCount); }
.goal-vdash { color: var(--vscode-lean4-infoView\.turnstile); }
.goal-case { color: var(--vscode-lean4-infoView\.caseLabel); }
.goal-hyp { color: var(--vscode-lean4-infoView\.hypothesisName); }
.goal-inaccessible {
color: var(--vscode-editor-foreground);
color: var(--vscode-lean4-infoView\.inaccessibleHypothesisName);
opacity: 0.7;
font-style: italic;
font-weight: normal;
}

.vscode-light .goal-goals { color: #367cb6; }
.vscode-light .goal-vdash { color: #367cb6; }
.vscode-light .goal-case { color: #1f7a1f; }
.vscode-light .goal-hyp { color: #cc7a00; }

.vscode-high-contrast .goal-goals { color: var(--vscode-terminal-ansiBlue); }
.vscode-high-contrast .goal-vdash { color: var(--vscode-terminal-ansiBlue); }
.vscode-high-contrast .goal-case { color: var(--vscode-terminal-ansiGreen); }
.vscode-high-contrast .goal-hyp { color: var(--vscode-terminal-ansiYellow); }

/* Used to denote text highlighted by the pretty-print expression widget. */
.highlightable {
border-radius: 2pt;
Expand Down
88 changes: 79 additions & 9 deletions vscode-lean4/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -436,6 +436,58 @@
"when": "lean4.isLeanFeatureSetActive"
}
],
"colors": [
{
"id": "lean4.infoView.hypothesisName",
"description": "The color used to display hypothesis names in the infoview",
"defaults": {
"light": "#cc7a00",
"dark": "#ffcc00",
"highContrast": "foreground",
"highContrastLight": "foreground"
}
},
{
"id": "lean4.infoView.inaccessibleHypothesisName",
"description": "The color used to display inaccessible hypothesis names in the infoview",
"defaults": {
"light": "editor.foreground",
"dark": "editor.foreground",
"highContrast": "editor.foreground",
"highContrastLight": "editor.foreground"
}
},
{
"id": "lean4.infoView.goalCount",
"description": "The color used to display the goal count in the infoview (e.g. \"1 goal\")",
"defaults": {
"light": "#367cb6",
"dark": "#569cd6",
"highContrast": "terminal.ansiBlue",
"highContrastLight": "terminal.ansiBlue"
}
},
{
"id": "lean4.infoView.turnstile",
"description": "The color used to display the turnstile (⊢) in the infoview",
"defaults": {
"light": "#367cb6",
"dark": "#569cd6",
"highContrast": "terminal.ansiBlue",
"highContrastLight": "terminal.ansiBlue"
}
},
{
"id": "lean4.infoView.caseLabel",
"description": "The color used to display the names of individual proof cases in the infoview",
"defaults": {
"light": "#1f7a1f",
"dark": "#a1df90",
"highContrast": "terminal.ansiGreen",
"highContrastLight": "terminal.ansiGreen"
}
}
],
"menus": {
"commandPalette": [
{
Expand Down Expand Up @@ -740,60 +792,78 @@
"id": "lean4.welcome.documentation",
"title": "Books and Documentation",
"description": "Learn using Lean 4 with the resources on the right.",
"media": { "markdown": "./media/guide-documentation.md" }
"media": {
"markdown": "./media/guide-documentation.md"
}
},
{
"id": "lean4.welcome.installDeps.linux",
"title": "Install Required Dependencies",
"description": "Install Git and curl using your package manager.",
"media": { "markdown": "./media/guide-installDeps-linux.md" },
"media": {
"markdown": "./media/guide-installDeps-linux.md"
},
"when": "isLinux"
},
{
"id": "lean4.welcome.installDeps.mac",
"title": "Install Required Dependencies",
"description": "Install Homebrew, Git and curl.",
"media": { "markdown": "./media/guide-installDeps-mac.md" },
"media": {
"markdown": "./media/guide-installDeps-mac.md"
},
"when": "isMac"
},
{
"id": "lean4.welcome.installDeps.windows",
"title": "Install Required Dependencies",
"description": "Install Git.",
"media": { "markdown": "./media/guide-installDeps-windows.md" },
"media": {
"markdown": "./media/guide-installDeps-windows.md"
},
"when": "isWindows"
},
{
"id": "lean4.welcome.installElan.unix",
"title": "Install Lean Version Manager",
"description": "Install Lean's version manager Elan.\n[Click to install](command:lean4.setup.installElan)",
"media": { "markdown": "./media/guide-installElan-unix.md" },
"media": {
"markdown": "./media/guide-installElan-unix.md"
},
"when": "isLinux || isMac"
},
{
"id": "lean4.welcome.installElan.windows",
"title": "Install Lean Version Manager",
"description": "Install Lean's version manager Elan.\n[Click to install](command:lean4.setup.installElan)",
"media": { "markdown": "./media/guide-installElan-windows.md" },
"media": {
"markdown": "./media/guide-installElan-windows.md"
},
"when": "isWindows"
},
{
"id": "lean4.welcome.setupProject",
"title": "Set Up Lean 4 Project",
"description": "Set up a Lean 4 project by clicking on one of the options on the right.",
"media": { "markdown": "./media/guide-setupProject.md" }
"media": {
"markdown": "./media/guide-setupProject.md"
}
},
{
"id": "lean4.welcome.vscode",
"title": "Using Lean 4 in VS Code",
"description": "Learn how to use Lean 4 together with its VS Code extension.",
"media": { "markdown": "./media/guide-vscode.md" }
"media": {
"markdown": "./media/guide-vscode.md"
}
},
{
"id": "lean4.welcome.help",
"title": "Questions and Troubleshooting",
"description": "If you have any questions or are having trouble with any of the previous steps, please visit us on the [Lean Zulip chat](https://leanprover.zulipchat.com/) so that we can help you.",
"media": { "markdown": "./media/guide-help.md" }
"media": {
"markdown": "./media/guide-help.md"
}
}
]
}
Expand Down
Loading