Tyler Dence 5cfed4524d Inspector+UI: Close inspector with shortcuts ...

This brings keyboard shortcuts for the inspector up with common
convention in FF and Chrome: Ctrl+Shift+C now also opens the inspector,
and F12, Ctrl+W, and Ctrl+Shift+I now close the inspector when the
inspector window is focused.

Resolves #972

2025-01-03 10:47:13 +00:00

47 KiB

Raw Blame History

View Raw