update Eigen dependency

wjakob · wjakob · commit 11c1bea75986 · 2017-08-25T11:38:30.000+02:00
diff --git a/ext/eigen b/ext/eigen
@@ -1 +1 @@
-Subproject commit c34a9130bc585b288703bd9716d7efae194974e2
+Subproject commit 1f05f51517ec4fd91eed711e0f89e97a7c028c0e
diff --git a/src/screen.cpp b/src/screen.cpp
@@ -376,8 +376,8 @@ void Screen::drawWidgets() {
     glfwGetWindowSize(mGLFWWindow, &mSize[0], &mSize[1]);
 
 #if defined(_WIN32) || defined(__linux__)
-    mSize = (mSize / mPixelRatio).cast<int>();
-    mFBSize = (mSize * mPixelRatio).cast<int>();
+    mSize = (mSize.cast<float>() / mPixelRatio).cast<int>();
+    mFBSize = (mSize.cast<float>() * mPixelRatio).cast<int>();
 #else
     /* Recompute pixel ratio on OSX */
     if (mSize[0])
