1. General
  2. Bugs
+2

Bug report: Font size rest in Linux (ubuntu)

Victor Stan 13 years ago • updated 13 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. 


Customer support service by UserEcho