A music player that connects to your cloud/distributed storage.
chore: some grid improvements
+11
-6
+11
-6
src/common/pages/grid.js
+11
-6
src/common/pages/grid.js
···
178
178
179
179
if (!button || !icon || !uri) continue;
180
180
181
-
button.style.opacity = "revert-layer";
182
-
183
181
const item = colMap.get(uri);
184
182
const isActive = item && item.html === undefined;
185
183
const isPrelude = li.dataset.kind === "prelude";
186
184
185
+
button.style.opacity = "revert-layer";
187
186
button.title = isActive
188
-
? (isPrelude ? "Remove feature" : "Remove bookmark")
189
-
: (isPrelude ? "Add feature" : "Add bookmark");
187
+
? (isPrelude ? "Remove feature" : "Unpin interface")
188
+
: (isPrelude ? "Add feature" : "Pin interface");
189
+
190
190
icon.className = isActive
191
-
? isPrelude ? "ph-bold ph-check" : "ph-fill ph-bookmark-simple"
191
+
? isPrelude ? "ph-bold ph-check" : "ph-fill ph-push-pin"
192
192
: isPrelude
193
193
? "ph-bold ph-plus"
194
-
: "ph-bold ph-bookmark-simple";
194
+
: "ph-bold ph-push-pin";
195
+
196
+
/** @type {HTMLElement} */ (icon).style.transform = isActive && !isPrelude
197
+
? "rotate(-45deg)"
198
+
: "";
199
+
195
200
/** @type {HTMLElement} */ (icon).style.color = isActive
196
201
? li.dataset.activeColor ?? "var(--accent-twist-2)"
197
202
: "";