Skip to content

Commit

Permalink
Update VSCode icons
Browse files Browse the repository at this point in the history
  • Loading branch information
bugarela committed Apr 8, 2024
1 parent fd3f19b commit 77576a0
Show file tree
Hide file tree
Showing 7 changed files with 12 additions and 15 deletions.
Binary file added vscode/quint-vscode/icons/logo-dark.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
1 change: 1 addition & 0 deletions vscode/quint-vscode/icons/logo-dark.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added vscode/quint-vscode/icons/logo-light.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
1 change: 1 addition & 0 deletions vscode/quint-vscode/icons/logo-light.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added vscode/quint-vscode/icons/logo.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
25 changes: 10 additions & 15 deletions vscode/quint-vscode/package.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,38 +2,33 @@
"name": "quint-vscode",
"displayName": "Quint",
"description": "Language support for Quint specifications",
"icon": "quint-logo-vscode.png",
"icon": "./icons/logo.png",
"version": "0.14.0",
"publisher": "informal",
"engines": {
"vscode": "^1.52.0"
},
"categories": [
"Programming Languages"
],
"categories": ["Programming Languages"],
"bugs": {
"url": "https://github.com/informalsystems/quint/issues"
},
"repository": {
"type": "git",
"url": "https://github.com/informalsystems/quint.git"
},
"activationEvents": [
"onLanguage:quint"
],
"activationEvents": ["onLanguage:quint"],
"main": "./client/out/extension",
"contributes": {
"languages": [
{
"id": "quint",
"aliases": [
"Quint",
"quint"
],
"extensions": [
".qnt"
],
"configuration": "./language-configuration.json"
"aliases": ["Quint", "quint"],
"extensions": [".qnt"],
"configuration": "./language-configuration.json",
"icon": {
"light": "./icons/logo-dark.png",
"dark": "./icons/logo-light.png"
}
}
],
"grammars": [
Expand Down
Binary file removed vscode/quint-vscode/quint-logo-vscode.png
Binary file not shown.

0 comments on commit 77576a0

Please sign in to comment.