diff options
author | Russ Cox <rsc@swtch.com> | 2020-01-13 20:02:54 -0500 |
---|---|---|
committer | Russ Cox <rsc@swtch.com> | 2020-01-13 23:17:39 -0500 |
commit | 7b1c85f6e8031a50e8e6f5977d12bea820e921ca (patch) | |
tree | 2a124cb270f8731fdb2eb245e7b1ea74e9b54bf2 /postscript/font/dejavu/DejaVuMonoSansBold20 | |
parent | 26cae02da740b05da97868b517c58b05f0e37e07 (diff) | |
download | plan9port-7b1c85f6e8031a50e8e6f5977d12bea820e921ca.tar.gz plan9port-7b1c85f6e8031a50e8e6f5977d12bea820e921ca.tar.bz2 plan9port-7b1c85f6e8031a50e8e6f5977d12bea820e921ca.zip |
acme: allow spaces in window names
There are many things we could do to make this work.
an environment variable to control the character.
Another option would be to use U+00A0 (non-breaking space),
which renders the same as space.
This change avoids changing the separator character and instead
assumes that if the left side of the tag already ends in " Del Snarf |"
then what comes before that is the file name.
Acme already aggressively preserves the "Del Snarf |",
so this should work decently well as a stop-gap.
We can always try something else later.
Fixes #26.
Fixes #104.
Fixes #329.
Diffstat (limited to 'postscript/font/dejavu/DejaVuMonoSansBold20')
0 files changed, 0 insertions, 0 deletions