Rare CTRL-V/CTRL-D bug

on my “new” 866 MHz pIII / radeon 9800 (runs better than you would think) i encountered a really strange bug:

neither CTRL-V nor CTRL-D do work.

the attached “patcharound” makes CTRL-V possible, but not CTRL-D.

Renderer (TTY) tells:

localbugfix.v4p (2.3 kB)