I have Ctrl+0 set to reset_font_size and also have font_size in my preferences (set as 8, compared to the default of 10). Problem is, and I’ve got this on both my Windows install and my Linux, that when I press Ctrl+0 the font_size is removed from my settings and it resets to 10.
Is this a known issue or am I using reset_font_size incorrectly?