From 4066e9f0b97900aa58cb4e6f77a6ec76d1153b02 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Mon, 30 Apr 2018 13:43:20 +0200
Subject: [PATCH] Point is defined as Point structure
---
frontend-js/src/main/js/gui/OverviewDialog.js | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/frontend-js/src/main/js/gui/OverviewDialog.js b/frontend-js/src/main/js/gui/OverviewDialog.js
index 13ee29cf77..3700babb09 100644
--- a/frontend-js/src/main/js/gui/OverviewDialog.js
+++ b/frontend-js/src/main/js/gui/OverviewDialog.js
@@ -147,10 +147,7 @@ OverviewDialog.prototype.showOverview = function (overviewImageId) {
var xNormal = position.x / currentRatio;
var yNormal = position.y / currentRatio;
- var point = {
- x: xNormal,
- y: yNormal
- };
+ var point = new Point(xNormal, yNormal);
if (self.overviewImage.mousePos.x !== position.x || self.overviewImage.mousePos.y !== position.y) {
self.overviewImage.mousePos = position;
--
GitLab