mirror/php-web-maker
1
0
Fork 0
mirror of https://github.com/chinchang/web-maker.git synced 2025-07-14 18:46:19 +02:00
Code Issues Releases Wiki Activity

add key shortcut for auto indenting code. fixes #32

Browse Source
This commit is contained in:
Kushagra Gour
2017-02-05 17:07:21 +05:30
parent 4e7567da8e
commit 24b3178574
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/script.js
View File

@ -759,7 +759,12 @@ settingsBtn, onboardModal, notificationsBtn, onboardShowInTabOptionBtn, onboardD
foldGutter: true,
gutters: options.gutters || [],
// cursorScrollMargin: '20', has issue with scrolling
profile: options.profile || ''
profile: options.profile || '',
extraKeys: {
"Shift-Tab": function(cm) {
CodeMirror.commands.indentAuto(cm);
}
}
});
cm.on('change', function onChange() {
clearTimeout(updateTimer);