ui: fix types

pull/523/head
undefined 2 years ago
parent 73d872b238
commit fba19fd887
No known key found for this signature in database

@ -13,7 +13,7 @@ import ScratchpadPretest from './ScratchpadPretestContainer';
import ScratchpadRecords from './ScratchpadRecordsContainer';
import ScratchpadToolbar from './ScratchpadToolbarContainer';
function buildNestedPane([a, ...panes], mode = 'horizontal') {
function buildNestedPane([a, ...panes], mode: 'horizontal' | 'vertical' = 'horizontal') {
const elements = [
a,
...panes.filter((p) => p.props.visible),

@ -1,5 +1,4 @@
import $ from 'jquery';
import * as bus from './bus';
window.Hydro = {
extraPages: [],
@ -7,7 +6,6 @@ window.Hydro = {
utils: {},
node_modules: {},
version: process.env.VERSION,
bus,
};
window.externalModules = {};
window.lazyModuleResolver = {};

@ -0,0 +1,5 @@
declare module '*.svg?react' {
import { ComponentType } from 'react'
const content: ComponentType
export default content
}
Loading…
Cancel
Save