Timeline for Change the font used by XTerm for its menus
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 28, 2023 at 16:38 | vote | accept | gboffi | ||
| Mar 28, 2023 at 16:38 | comment | added | gboffi | The ^d is an overzealous attempt to represent an EoF passed to xrdb. It seems that an even more generic XTerm*font: ... would do, and I was posting it as an answer but you have been faster! Thank you. | |
| Mar 28, 2023 at 15:58 | history | answered | meuh | CC BY-SA 4.0 |