Some small tidying up (#9149)

* Remove stale comment

* Fix typing

* Install katex type definitions
This commit is contained in:
Michael Telatynski 2022-08-09 12:55:49 +01:00 committed by GitHub
parent eb2e61e9cf
commit 5fbeb20df8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 9 additions and 3 deletions

View file

@ -157,7 +157,7 @@ interface IScreen {
params?: QueryDict;
}
interface IProps { // TODO type things better
interface IProps {
config: IConfigOptions;
serverConfig?: ValidatedServerConfig;
onNewScreen: (screen: string, replaceLast: boolean) => void;