diff options
author | bobzel <zzzman@gmail.com> | 2024-08-12 21:38:22 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2024-08-12 21:38:22 -0400 |
commit | b84bdc5a629dfa6310b24dd5eedee2843558b73a (patch) | |
tree | b22a0630991f39ed166de0599f9b14d3e9f13b2e /src/mobile/MobileMain.tsx | |
parent | 762ac2bf354e4cc2c4b15f42502da939f5061646 (diff) |
more any -> type fixes
Diffstat (limited to 'src/mobile/MobileMain.tsx')
-rw-r--r-- | src/mobile/MobileMain.tsx | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/mobile/MobileMain.tsx b/src/mobile/MobileMain.tsx deleted file mode 100644 index 07839b6f6..000000000 --- a/src/mobile/MobileMain.tsx +++ /dev/null @@ -1,26 +0,0 @@ -import * as React from 'react'; -import * as ReactDOM from 'react-dom'; -import { DocServer } from '../client/DocServer'; -import { Docs } from '../client/documents/Documents'; -import { CurrentUserUtils } from '../client/util/CurrentUserUtils'; -import { AssignAllExtensions } from '../extensions/Extensions'; -import { MobileInterface } from './MobileInterface'; - -AssignAllExtensions(); - -(async () => { - const info = await CurrentUserUtils.loadCurrentUser(); - DocServer.init(window.location.protocol, window.location.hostname, 4321, info.email + ' (mobile)'); - await Docs.Prototypes.initialize(); - await CurrentUserUtils.loadUserDocument(info); - document.getElementById('root')!.addEventListener( - 'wheel', - event => { - if (event.ctrlKey) { - event.preventDefault(); - } - }, - true - ); - ReactDOM.render(<MobileInterface />, document.getElementById('root')); -})(); |