From f3a7de58d5e655a4a794dbc067a8deddc52e69c6 Mon Sep 17 00:00:00 2001 From: Elian Doran Date: Thu, 19 Dec 2024 22:19:35 +0200 Subject: [PATCH] chore(client/ts): port services/resizer --- src/public/app/services/{resizer.js => resizer.ts} | 6 +++--- src/public/app/types.d.ts | 7 +++++++ 2 files changed, 10 insertions(+), 3 deletions(-) rename src/public/app/services/{resizer.js => resizer.ts} (90%) diff --git a/src/public/app/services/resizer.js b/src/public/app/services/resizer.ts similarity index 90% rename from src/public/app/services/resizer.js rename to src/public/app/services/resizer.ts index 72c90de6c..6acea693a 100644 --- a/src/public/app/services/resizer.js +++ b/src/public/app/services/resizer.ts @@ -1,9 +1,9 @@ import options from "./options.js"; -let leftInstance; -let rightInstance; +let leftInstance: ReturnType | null; +let rightInstance: ReturnType | null; -function setupLeftPaneResizer(leftPaneVisible) { +function setupLeftPaneResizer(leftPaneVisible: boolean) { if (leftInstance) { leftInstance.destroy(); leftInstance = null; diff --git a/src/public/app/types.d.ts b/src/public/app/types.d.ts index 88f79b7eb..9b65dcdca 100644 --- a/src/public/app/types.d.ts +++ b/src/public/app/types.d.ts @@ -85,4 +85,11 @@ declare global { }); }; var dayjs: {}; + var Split: (selectors: string[], config: { + sizes: [ number, number ]; + gutterSize: number; + onDragEnd: (sizes: [ number, number ]) => void; + }) => { + destroy(); + }; }