diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-04-06T10·30+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-04-06T10·30+0100 |
| commit | ca67b4256dc79fd5da9fbfe8ead302fbfdc5abdf (patch) | |
| tree | 4505ca6011d349bdb3d108ebd3dd5416d17373e1 /website/sandbox | |
| parent | a180a5162033ae3d8217954a01f7c09401055971 (diff) | |
Debug unresponsive keyboard
After binary searching through my git history to restore my keyboard functionality, I discovered the issue: I deleted the "Terminal" workspace, but I did not remove the call to `(exwm/switch "Terminal")`, which silently prevented EXWM from initializing. I wish errors like this were noisier.
Diffstat (limited to 'website/sandbox')
0 files changed, 0 insertions, 0 deletions