+2
Bug report: Font size rest in Linux (ubuntu)
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.
Service d'assistance aux clients par UserEcho