Type fixes

src/views/StatisticsView.vue

@@ -34,25 +34,26 @@
     </div>
     <button class="float-right" @click="captureGraphics()">Screenshot</button>
     <div id="scene-container" class="h-screen"></div>
-    <AlertMessage
-      :alertTitle="alertTitle"
-      :alertMessage="alertMessage"
-    ></AlertMessage>   
   </section>
 </template>
 <script lang="ts">
 import { SVGRenderer } from "three/addons/renderers/SVGRenderer.js";
 import { Component, Vue } from "vue-facing-decorator";
-import { World } from "@/components/World/World.js";
-import AlertMessage from "@/components/AlertMessage";
-import QuickNav from "@/components/QuickNav";
+import { World } from "components/World/World.js";
+import QuickNav from "@/components/QuickNav.vue";
 
-@Component({ components: { AlertMessage, World, QuickNav } })
+interface RendererSVGType {
+  domElement: Element;
+}
+
+interface Dictionary<T> {
+  [key: string]: T;
+}
+
+@Component({ components: { World, QuickNav } })
 export default class StatisticsView extends Vue {
   world: World;
-  worldProperties: WorldProperties = {};
-  alertTitle = "";
-  alertMessage = "";
+  worldProperties: Dictionary<number> = {};
 
   mounted() {
     try {
@@ -60,14 +61,14 @@ export default class StatisticsView extends Vue {
       const newWorld = new World(container, this);
       newWorld.start();
       this.world = newWorld;
-    } catch (err) {
-      console.log(err);
-      this.$notify(
+    } catch (err : unknown) {
+      const error = err as Error;
+      (this as any).$notify(
         {
           group: "alert",
           type: "danger",
           title: "Mounting Error",
-          text: err.message,
+          text: error.message,
         },
         -1,
       );
@@ -85,12 +86,13 @@ export default class StatisticsView extends Vue {
     ExportToSVG(rendererSVG, "test.svg");
   }
 
-  public setWorldProperty(propertyName, propertyValue) {
+  public setWorldProperty(propertyName: string, propertyValue: number) {
     this.worldProperties[propertyName] = propertyValue;
   }
 }
 
-function ExportToSVG(rendererSVG, filename) {
+
+function ExportToSVG(rendererSVG: RendererSVGType, filename: string) {
   const XMLS = new XMLSerializer();
   const svgfile = XMLS.serializeToString(rendererSVG.domElement);
   const svgData = svgfile;