playground: Display more keyboard shortcuts

shesek · Nov 23, 2024 · 3e38272 · 3e38272
1 parent d784781
commit 3e38272
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/web/editor.pug b/web/editor.pug
@@ -50,8 +50,12 @@ body
 
           #help-popover(popover)
           #help-contents.card.border-secondary.
-            #[code F11] to toggle full-screen (in all panels) #[br]
-            #[code Ctrl-Space] to auto-complete
+            #[code F11] · Toggle full-screen (in all panels) #[br]
+            #[code Ctrl-F] · Search #[br]
+            #[code Ctrl-G] · Find next #[br]
+            #[code Alt-F] · Persistent search #[br]
+            #[code Ctrl-Shift-F] · Search &amp; replace #[br]
+            #[code Ctrl-Space] · Auto-complete
 
           #editor.card-text