James Teh
287985a9b3
This is an unpolished UI for experimentation. It is likely that this UI will be heavily modified or even completely replaced before it is considered official. As such, this is only available via a new about:keyboard page with no entry point elsewhere in the UI. This primarily obtains keyboard shortcuts from the menu bar menus. This doesn't allow all keyboard shortcuts to be customised, since many aren't available in the menu bar menus and haven't been hard-coded here. There is a basic framework to allow for hard-coding of additional shortcuts, though, and this has been used for a few shortcuts already. For now, when a key combination involves a character and a modifier changes the character, the UI shows the modified character. For example, on a US English QWERTY keyboard, shift+3 produces the `#` character, so the UI shows `Shift+#`. While this is likely to be a little confusing for some users, this is difficult to fix in a locale independent way. The current behaviour should allow this to work across locales, albeit with this somewhat quirky presentation. Differential Revision: https://phabricator.services.mozilla.com/D266792
11 lines
419 B
JavaScript
11 lines
419 B
JavaScript
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
import { RemotePageChild } from "resource://gre/actors/RemotePageChild.sys.mjs";
|
|
|
|
/**
|
|
* Empty child actor as most operations are handled by the parent.
|
|
*/
|
|
export class CustomKeysChild extends RemotePageChild {}
|