jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fixed hotkeys for changing font size (Fixes #1914)

Browse source 
Hotkey for `increaseFontSize` does not work, `+` key should actually be
`=`.
This commit is contained in:
jimmyboh 2014-04-17 13:09:13 -04:00
commit 156ebc0a72
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
demo/kitchen-sink/demo.js
View file

@ -184,7 +184,7 @@ env.editor.commands.addCommands([{
} }
}, { }, {
name: "increaseFontSize", name: "increaseFontSize",
bindKey: "Ctrl-+", bindKey: "Ctrl-=",
exec: function(editor) { exec: function(editor) {
var size = parseInt(editor.getFontSize(), 10) || 12; var size = parseInt(editor.getFontSize(), 10) || 12;
editor.setFontSize(size + 1); editor.setFontSize(size + 1);