|
|
@ -60,8 +60,8 @@ function RighthandPanel (appAPI, events, opts) { |
|
|
|
|
|
|
|
|
|
|
|
self.render = function () { return element } |
|
|
|
self.render = function () { return element } |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
self.init = function () { |
|
|
|
;[...options.children].forEach((el) => { el.classList.add(css.options) }) |
|
|
|
;[...options.children].forEach((el) => { el.classList.add(css.options) }) |
|
|
|
|
|
|
|
|
|
|
|
// ----------------- toggle right hand panel -----------------
|
|
|
|
// ----------------- toggle right hand panel -----------------
|
|
|
|
|
|
|
|
|
|
|
|
var hidingRHP = false |
|
|
|
var hidingRHP = false |
|
|
@ -121,10 +121,9 @@ function RighthandPanel (appAPI, events, opts) { |
|
|
|
}) |
|
|
|
}) |
|
|
|
|
|
|
|
|
|
|
|
if (appAPI.config.exists(EDITOR_WINDOW_SIZE)) { |
|
|
|
if (appAPI.config.exists(EDITOR_WINDOW_SIZE)) { |
|
|
|
setTimeout(function () { |
|
|
|
|
|
|
|
self._api.setEditorSize(appAPI.config.get(EDITOR_WINDOW_SIZE)) |
|
|
|
self._api.setEditorSize(appAPI.config.get(EDITOR_WINDOW_SIZE)) |
|
|
|
}, 0) |
|
|
|
|
|
|
|
} else { |
|
|
|
} else { |
|
|
|
appAPI.config.set(EDITOR_WINDOW_SIZE, getEditorSize()) |
|
|
|
appAPI.config.set(EDITOR_WINDOW_SIZE, getEditorSize()) |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|