From e56fa850191f2dcfe08e0dd3937008642666b56e Mon Sep 17 00:00:00 2001 From: Andreas Butti Date: Mon, 14 Jan 2019 19:52:07 +0100 Subject: [PATCH] High DPI Fixes #172 --- src/gui/PageView.cpp | 8 ++++++++ src/undo/RecognizerUndoAction.cpp | 4 ++-- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/src/gui/PageView.cpp b/src/gui/PageView.cpp index 1575011b..7faf6e07 100644 --- a/src/gui/PageView.cpp +++ b/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() diff --git a/src/undo/RecognizerUndoAction.cpp b/src/undo/RecognizerUndoAction.cpp index 2766992f..fe1815a2 100644 --- a/src/undo/RecognizerUndoAction.cpp +++ b/src/undo/RecognizerUndoAction.cpp @@ -7,8 +7,8 @@ #include #include -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);