agw/overleaf-cep
1
0
Fork 0
mirror of https://github.com/yu-i-i/overleaf-cep.git synced 2026-11-12 13:13:45 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #36185 from overleaf/mj-cmd-plt-fixes

Browse Source 
[web] Tweak command palette

GitOrigin-RevId: f69cf1f24dadecd81b4c563d289cbffc5ef4788f
This commit is contained in:
Mathias Jakobsen
2026-09-17 11:47:29 +00:00
committed by Copybot
parent 4ca028cb4c
commit 43ea352733
2 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
services/web/frontend/js/features/ide-react/context/command-registry-context.tsx
+1
View File
@@ -84,6 +84,7 @@ export const CommandRegistryProvider: React.FC<React.PropsWithChildren> = ({
'insert-comment': [{ key: 'Mod-Shift-C' }],
'format-bold': [{ key: 'Mod-b' }],
'format-italics': [{ key: 'Mod-i' }],
'command-palette': [{ key: 'Mod-p' }],
}),
[]
)
services/web/frontend/stylesheets/pages/editor/command-palette.scss
+9 -5
View File
@@ -2,6 +2,7 @@
--command-palette-color-scheme: dark;
--command-palette-selected-bg: var(--green-70);
--command-palette-selected-color: var(--green-10);
--command-palette-description-selected-color: var(--green-20);
--command-palette-border-color: var(--border-primary);
}
@@ -9,6 +10,7 @@
--command-palette-color-scheme: light;
--command-palette-selected-bg: var(--bg-accent-03);
--command-palette-selected-color: var(--green-70);
--command-palette-description-selected-color: var(--green-60);
--command-palette-border-color: var(--border-divider);
}
@@ -92,10 +94,13 @@
background-color: var(--command-palette-selected-bg);
color: var(--command-palette-selected-color);
.command-palette-result-title,
.command-palette-result-description {
.command-palette-result-title {
color: var(--command-palette-selected-color);
}
.command-palette-result-description {
color: var(--command-palette-description-selected-color);
}
}
}
@@ -112,9 +117,8 @@
}
.command-palette-result-description {
font-size: var(--font-size-02);
margin-left: var(--spacing-02);
font-size: var(--font-size-01);
margin-left: var(--spacing-04);
color: var(--content-placeholder-themed);
line-height: 1.2;
}
}