Daily Shaarli

All links of one day in a single page.

September 13, 2023

Having fun with keyboard mappings under Linux ⌨️ - pulsar17's blog
  • How to find the scancode of a key (evtest),
  • And map it to some known keycode (setkeycodes).
Making visually stable UIs | Horizon EDA Blog

How to avoid texts shifting around with changing values in a variable pitch line?

  1. use U+2007 FIGURE SPACE to pad numbers (not space, which may have different width to the digits)
  2. use U+2212 MINUS SIGN instead of the ascii '-' character.