|
@@ -142,6 +142,12 @@ App.directive(
|
|
|
}
|
|
}
|
|
|
})
|
|
})
|
|
|
|
|
|
|
|
|
|
+ ide.$scope.$on('symbol-palette-toggled', (event, isToggled) => {
|
|
|
|
|
+ if (!isToggled) {
|
|
|
|
|
+ editor.focus()
|
|
|
|
|
+ }
|
|
|
|
|
+ })
|
|
|
|
|
+
|
|
|
scope.$watch('autoPairDelimiters', autoPairDelimiters => {
|
|
scope.$watch('autoPairDelimiters', autoPairDelimiters => {
|
|
|
if (autoPairDelimiters) {
|
|
if (autoPairDelimiters) {
|
|
|
return editor.setOption('behavioursEnabled', true)
|
|
return editor.setOption('behavioursEnabled', true)
|