services.gromit-mpx.undoKey
Home-Manager option
A keysym or raw keycode that causes gromit-mpx to undo the last stroke. Use this key along with the shift key to redo an undone stoke. Set to null to disable the undo hotkey.
type: null or string or (positive integer, meaning >0)Default
declared in: <home-manager/modules/services/gromit-mpx.nix>source unavailable"F10"