Customizing shortcuts

It would be useful for the user to customise shortcuts, which could probably be saved in the local storage of the browser.

This could probably be added to the `file -> preferences` menu. All of the shortcuts are currently hardcoded in `default_mapping.rs` - however it may be necessary to filter these keybinds before displaying them (e.g. it doesn't make sense for the user to need to customise each key press for nudge, and pointer move events should not change).

Beginnen Sie mit default_mapping.rs, um die fest codierten Tastenkürzel zu erfassen, und untersuchen Sie anschließend das Menü file -> preferences sowie den im Issue erwähnten browser-local-storage-Pfad. Legen Sie fest, welche Tastenkürzel von Benutzern konfiguriert werden können und welche herausgefiltert werden, und betrachten Sie die Arbeit als abgeschlossen, wenn unterstützte Tastenkürzel über Preferences bearbeitet werden können und lokal persistent gespeichert werden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.