Variables starting with `k' in src/gui-gtk