1
0

Support restoring preferences via new prefs param

Fixes #1352
Fixes #553
Fixes #249
This commit is contained in:
Zed
2026-02-09 20:23:31 +01:00
parent 5d28bd18c6
commit db36f75519
9 changed files with 107 additions and 14 deletions
+12 -6
View File
@@ -99,12 +99,18 @@ legend {
margin-bottom: 8px;
}
.preferences .note {
border-top: 1px solid var(--border_grey);
border-bottom: 1px solid var(--border_grey);
padding: 6px 0 8px 0;
margin-bottom: 8px;
margin-top: 16px;
.preferences {
.note {
border-top: 1px solid var(--border_grey);
border-bottom: 1px solid var(--border_grey);
padding: 6px 0 8px 0;
margin-bottom: 8px;
margin-top: 16px;
}
.bookmark-note {
margin: 0;
}
}
ul {