Update 'replace & search' shortcut to 'ctrl' + 'shift' + 'r'#82

Open

IoannisNezis wants to merge 1 commit intoad-freiburg:masterfrom IoannisNezis:shortcuts-help-fix-replace

+5-5

Commits on Mar 6, 2024

fix advertised 'search & replace' shortcut
IoannisNezis
committed