Bug report: Font size rest in Linux (ubuntu)

Victor Stan 6 years ago • updated 6 years ago 0
Bug report: 

#1. pressing CTRL+0 on Ubuntu Linux does not reset font size. Noticed default key mapping to be not as expected, I have changed it as the following shows:

// { "keys": ["ctrl+0"], "command": "focus_side_bar" },
{ "keys": ["ctrl+0"], "command": "reset_font_size" },

#2. when using the reset font menu, user settings font size is deleted from user configuration file, and default configuration file font size is not taken into consideration.