* Refactor editor panels * EditorOptionsPanel icon fixes * manage editor panel open/close --------- Co-authored-by: Julien Nahum <julien@nahum.net>
formsdev