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(); + }; }