[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-apl] ]KEYBOARD patch
From: |
David B. Lamkins |
Subject: |
[Bug-apl] ]KEYBOARD patch |
Date: |
Sun, 29 Jun 2014 13:52:29 -0700 |
The ]KEYBOARD display has one character (⋸) that doesn't fit the
monospace metrics (at least on Linux using GNU Free Font) and one extra
space; these mess up the alignment of the display. (See
gnu-apl-keyboard.png, attached.)
The *gnu-apl-keymap* buffer in Elias' gnu-apl-mode uses ⍷ rather than ⋸
and eliminates the spurious space; the result is a properly-aligned
keyboard display. (See gnu-apl-mode-keyboard.png, attached.)
The attached patch applies both of these changes to GNU APL.
gnu-apl-keyboard.png
Description: PNG image
gnu-apl-mode-keyboard.png
Description: PNG image
lamkins-keyboard.patch
Description: Text Data
- [Bug-apl] ]KEYBOARD patch,
David B. Lamkins <=