| Name | Size | Permissions | Actions |
|---|---|---|---|
| ð classic.css | 1.257K | -rw-r--r-- | |
| ð extension.js | 51.063K | -rw-r--r-- | |
| ð metadata.json | 0.537K | -rw-r--r-- | |
| ð prefs.js | 3.969K | -rw-r--r-- | |
| ð stylesheet-workspace-switcher-dark.css | 3.287K | -rw-r--r-- | |
| ð stylesheet-workspace-switcher-light.css | 1.548K | -rw-r--r-- | |
| ð stylesheet.css | 2.16K | -rw-r--r-- | |
| ð windowPicker.js | 10.122K | -rw-r--r-- | |
| ð workspaceIndicator.js | 22.759K | -rw-r--r-- | |
| ð workspacePrefs.js | 9.93K | -rw-r--r-- |