| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
|
|
These keys are the equivalent of ctrl+backspace and ctrl+delete,
respectively.
They can be reached with Gesture+backspace and Gesture+delete
respectively.
|
|
|
|
Make the symbol bolder and slimmer.
|
|
Co-authored-by: @srikanban
|
|
|
|
Add arabic combining diacritics and make them accessible via Fn and Compose combos.
Co-authored-by: Anastázius Kaejatídarján <32847759+anaskaejdar@users.noreply.github.com>
|
|
The glyphs are taken from DejaVuSans, the lines are thickened to improve
readability.
|
|
Co-authored-by: Anastazius Kaejatidarjan <zdarian@asu.edu>
|
|
Co-authored-by: Anastazius Kaejatidarjan <zdarian@asu.edu>
|
|
This adds the clipboard pane, which allows to save an arbitrary number of
clipboards and to paste them later. The key can be disabled in settings.
Checking the "Recently copied text" checkbox will cause the keyboard to keep a
temporary history of copied text. This history can only contain 3 elements
which expire after 5 minutes.
If this is unchecked, no history is collected.
History entries can be pinned into the persisted list of pins.
|
|
|
|
|
