Closed GuilhermeHideki closed 8 years ago
keypad_plus
and +
are different keys. I don't know about equals
and =
though.
yes, but I think the person who was writing the keys didn't erase those that were common to both keypad and the number row.
{ "keys": ["ctrl++"], "command": "increase_font_size" },
{ "keys": ["ctrl+="], "command": "increase_font_size" },
{ "keys": ["ctrl+keypad_plus"], "command": "increase_font_size" },
{ "keys": ["ctrl+-"], "command": "decrease_font_size" },
{ "keys": ["ctrl+keypad_minus"], "command": "decrease_font_size" },
{ "keys": ["ctrl+equals"], "command": "increase_font_size" },
{ "keys": ["ctrl+shift+equals"], "command": "decrease_font_size" },
{ "keys": ["ctrl+keypad_plus"], "command": "increase_font_size" },
{ "keys": ["ctrl+shift+keypad_plus"], "command": "decrease_font_size" },
Whops, I'm blind
This should be fixed in dev build 3112
thanks!
OS: Windows 7 ST: 3(3065 and 3079)
Bug Description: