Index: /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIMachineView.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIMachineView.cpp	(revision 53387)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIMachineView.cpp	(revision 53388)
@@ -186,6 +186,5 @@
 
     /* Take the scale-factor into account: */
-    const double dScaleFactor = gEDataManager->scaleFactor(vboxGlobal().managedVMUuid());
-    newSize /= dScaleFactor;
+    newSize /= gEDataManager->scaleFactor(vboxGlobal().managedVMUuid());
 
     /* Expand current limitations: */
@@ -219,6 +218,6 @@
     {
         /* Check if that notify-change brings actual resize-event: */
-        const bool fActualResize = frameBuffer()->width() != iWidth ||
-                                   frameBuffer()->height() != iHeight;
+        const bool fActualResize = frameBuffer()->width() != (ulong)iWidth ||
+                                   frameBuffer()->height() != (ulong)iHeight;
 
         /* Adjust 'scale' mode to current machine-view size: */
@@ -648,6 +647,5 @@
 
     /* Take the scale-factor into account: */
-    const double dScaleFactor = gEDataManager->scaleFactor(vboxGlobal().managedVMUuid());
-    size *= dScaleFactor;
+    size *= gEDataManager->scaleFactor(vboxGlobal().managedVMUuid());
 
 #ifdef VBOX_WITH_DEBUGGER_GUI
@@ -732,6 +730,5 @@
 
     /* Take the scale-factor into account: */
-    const double dScaleFactor = gEDataManager->scaleFactor(vboxGlobal().managedVMUuid());
-    size *= dScaleFactor;
+    size *= gEDataManager->scaleFactor(vboxGlobal().managedVMUuid());
 
     /* Return size: */
@@ -839,4 +836,8 @@
 
     QSize v = QSize(frameBuffer()->width(), frameBuffer()->height());
+
+    /* Take the scale-factor into account: */
+    v *= gEDataManager->scaleFactor(vboxGlobal().managedVMUuid());
+
     /* No scroll bars needed: */
     if (m.expandedTo(v) == m)
@@ -1070,6 +1071,5 @@
         QPainter painter(viewport());
         /* Take the scale-factor into account: */
-        const double dScaleFactor = gEDataManager->scaleFactor(vboxGlobal().managedVMUuid());
-        if (dScaleFactor == 1)
+        if (gEDataManager->scaleFactor(vboxGlobal().managedVMUuid()) == 1)
             painter.drawPixmap(rect, pausePixmap(), QRect(rect.x() + contentsX(), rect.y() + contentsY(),
                                                           rect.width(), rect.height()));