Changing the # font_size variable wields no difference when I save kitty.conf. I've tried saving the file and restarting kitty. No avail.
Inputing Ctrl+Shift+F6 wielded this:
Failed to launch child: less
With error: No such file or directory
Press Enter or Esc to exit
OBS: I am, of course, able to change font size by Ctrl Shift + or Ctrl Shift -. My only point here is that changing the value in the config file seems to give me no effects whatsoever.
In case this is of any help, these are my current configs:
Changing the
# font_size
variable wields no difference when I savekitty.conf
. I've tried saving the file and restarting kitty. No avail.Inputing Ctrl+Shift+F6 wielded this:
OBS: I am, of course, able to change font size by
Ctrl Shift +
orCtrl Shift -
. My only point here is that changing the value in the config file seems to give me no effects whatsoever.In case this is of any help, these are my current configs: