High DPI Fixes

#172

src/gui/PageView.cpp

@@ -1007,14 +1007,22 @@ void XojPageView::rectChanged(Rectangle& rect)
 {
 	XOJ_CHECK_TYPE(XojPageView);
 
+#ifdef UNSTABLE_HIGHDPI_FIXES
+	rerenderPage();
+#else
 	rerenderRect(rect.x, rect.y, rect.width, rect.height);
+#endif
 }
 
 void XojPageView::rangeChanged(Range &range)
 {
 	XOJ_CHECK_TYPE(XojPageView);
 
+#ifdef UNSTABLE_HIGHDPI_FIXES
+	rerenderPage();
+#else
 	rerenderRange(range);
+#endif
 }
 
 void XojPageView::pageChanged()

src/undo/RecognizerUndoAction.cpp

@@ -7,8 +7,8 @@
 #include <i18n.h>
 #include <Stacktrace.h>
 
-RecognizerUndoAction::RecognizerUndoAction(PageRef page, Layer* layer, Stroke* original, Stroke* recognized) :
-		UndoAction("RecognizerUndoAction")
+RecognizerUndoAction::RecognizerUndoAction(PageRef page, Layer* layer, Stroke* original, Stroke* recognized)
+ : UndoAction("RecognizerUndoAction")
 {
 	XOJ_INIT_TYPE(RecognizerUndoAction);