Gabor Szabo 4573f4d882 Add pop-up window showing the keyboard shortcuts ... Make it display when the user presses `?`. Implements #2607		2025-05-14 17:06:49 -07:00
..
css	Add pop-up window showing the keyboard shortcuts	2025-05-14 17:06:49 -07:00
fonts	Finish moving resources around	2025-03-31 21:18:22 +02:00
images	Finish moving resources around	2025-03-31 21:18:22 +02:00
js	Add pop-up window showing the keyboard shortcuts	2025-05-14 17:06:49 -07:00
playground_editor	Finish moving resources around	2025-03-31 21:18:22 +02:00
searcher	Navigate to first search result on enter	2025-05-13 21:50:04 +00:00
templates	Add pop-up window showing the keyboard shortcuts	2025-05-14 17:06:49 -07:00
mod.rs	Finish moving resources around	2025-03-31 21:18:22 +02:00