mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-25 17:52:02 +02:00
On my system reduces the number of getpid() calls from 67982 to 17327 I dont know why get framebuffer config attributes requires getpid() and why it is so slow, probably a driver bug. Fixes #2754