From b9ea44d2ae628b5be42300e26d0d150c82ce24b8 Mon Sep 17 00:00:00 2001
From: lviguier <leo.vgr@hotmail.com>
Date: Fri, 31 Jan 2025 10:49:45 +0100
Subject: [PATCH] DomkitEditor: fix domkit editor panel resize when hide isn't
full screen
---
hide/view/Domkit.hx | 12 ++++++++++--
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/hide/view/Domkit.hx b/hide/view/Domkit.hx
index 31acff8a4..30e842ccb 100644
--- a/hide/view/Domkit.hx
+++ b/hide/view/Domkit.hx
@@ -8,6 +8,8 @@ class Domkit extends FileView {
var prevSave : { css : String, dml : String, params : String };
var checker : hide.comp.DomkitEditor.DomkitChecker;
+ var totalHeight = 0.;
+ var totalWidth = 0.;
override function onDisplay() {
element.html('
@@ -46,8 +48,8 @@ class Domkit extends FileView {
cssEditor.onSave = dmlEditor.onSave = paramsEditor.onSave = save;
var editors = element.find('.editors');
- var totalWidth = editors.width();
- var totalHeight = editors.height();
+ totalWidth = editors.width();
+ totalHeight = editors.height();
var panelRight = element.find('.right');
var panelLeft = new hide.comp.ResizablePanel(hide.comp.ResizablePanel.LayoutDirection.Horizontal, element.find('.left'), After);
panelLeft.onBeforeResize = () -> {
@@ -76,6 +78,12 @@ class Domkit extends FileView {
new hide.comp.Scene(config, scene, scene).onReady = function() check();
}
+ override function onResize() {
+ var editors = element.find('.editors');
+ totalWidth = editors.width();
+ totalHeight = editors.height();
+ }
+
function defineGlobals() {
// define DomkitBaseContext functions
@:privateAccess paramsEditor.checker.init();