resetting the selected box in the info box if another image is selected

webui/src/components/media/annotated-image.vue

@@ -328,6 +328,10 @@ export default {
             .then(results => {
               this.results = results;
             })
+        let infoBox = this.$refs.info;
+        if (infoBox == undefined)
+          return;
+        infoBox.box = null;
       }
     }
   }

webui/src/components/media/paginated-media.vue

@@ -35,7 +35,14 @@
 <script>
 export default {
   name: "paginated-media",
-  props: ['rows', 'width', 'inline', 'deletable', 'current', 'filter'],
+  props: [
+    'rows',
+    'width',
+    'inline',
+    'deletable',
+    'current',
+    'filter'
+  ],
   mounted: function () {
     window.addEventListener('resize', this.resize);
     window.addEventListener('wheel', this.scroll);