diff options
| author | Joe Wasson <jwasson+github@gmail.com> | 2018-09-17 10:48:02 -0700 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2018-09-17 13:48:02 -0400 |
| commit | 743449472e58651ec8111e6f70811103fb0a28bd (patch) | |
| tree | bf8391fd9ba42ec08fa42fc867b20810cbe27d4f /Vagrantfile | |
| parent | b65e2143751fd7c1721a6690597f523137c7c484 (diff) | |
Make `PREVENT_STUCK_MODIFIERS` the default (#3107)
* Remove chording as it is not documented, not used, and needs work.
* Make Leader Key an optional feature.
* Switch from `PREVENT_STUCK_MODIFIERS` to `STRICT_LAYER_RELEASE`
* Remove `#define PREVENT_STUCK_MODIFIERS` from keymaps.
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions