[Bug-apl] ]KEYBOARD patch

[David B. Lamkins]

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