| 1 | -- The apps each person pins to their dock, per workspace, so the dock is |
| 2 | -- the same on every device they sign in on. `apps` is a JSON array of app |
| 3 | -- keys (such as ["projects","usage"]) in the order the person set; the |
| 4 | -- web app checks the keys against its list of apps. A workspace with no |
| 5 | -- row has never had its pins saved. See src/dock.rs. |
| 6 | CREATE TABLE dock_pins ( |
| 7 | user_id TEXT NOT NULL REFERENCES users (id) ON DELETE CASCADE, |
| 8 | workspace_id TEXT NOT NULL REFERENCES workspaces (id) ON DELETE CASCADE, |
| 9 | apps TEXT NOT NULL DEFAULT '[]', |
| 10 | updated_at TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')), |
| 11 | PRIMARY KEY (user_id, workspace_id) |
| 12 | ); |