Use ✓ for db item selection (#1890)

2022-12-20 15:00:03 +00:00
parent 6350ac7f66
commit 4b43b9a140
2 changed files with 2 additions and 3 deletions
--- a/extensions/ql-vscode/package.json
+++ b/extensions/ql-vscode/package.json
@@ -369,8 +369,7 @@
      },
      {
        "command": "codeQLDatabasesExperimental.setSelectedItem",
-        "title": "Select Item",
-        "icon": "$(circle-small-filled)"
+        "title": "✓"
      },
      {
        "command": "codeQLDatabases.chooseDatabaseFolder",
--- a/extensions/ql-vscode/src/databases/ui/db-selection-decoration-provider.ts
+++ b/extensions/ql-vscode/src/databases/ui/db-selection-decoration-provider.ts
@@ -13,7 +13,7 @@ export class DbSelectionDecorationProvider implements FileDecorationProvider {
  ): ProviderResult<FileDecoration> {
    if (uri?.query === "selected=true") {
      return {
-        badge: "●",
+        badge: "✓",
        tooltip: "Currently selected",
      };
    }