From c70bfeaee7586486926b266514b22c01e91765ce Mon Sep 17 00:00:00 2001 From: Andreas Butti Date: Sun, 25 Nov 2018 17:22:12 +0100 Subject: [PATCH] Draw border around page preview menu --- src/control/pagetype/PageTypeMenu.cpp | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/control/pagetype/PageTypeMenu.cpp b/src/control/pagetype/PageTypeMenu.cpp index a9409c98..7547176a 100644 --- a/src/control/pagetype/PageTypeMenu.cpp +++ b/src/control/pagetype/PageTypeMenu.cpp @@ -70,6 +70,17 @@ cairo_surface_t* PageTypeMenu::createPreviewImage(PageType pt) backgroundPainter->paint(pt, cr, page); + cairo_identity_matrix(cr); + + cairo_set_line_width(cr, 2); + cairo_set_source_rgb(cr, 0.8, 0.8, 0.8); + cairo_move_to(cr, 0, 0); + cairo_line_to(cr, previewWidth, 0); + cairo_line_to(cr, previewWidth, previewHeight); + cairo_line_to(cr, 0, previewHeight); + cairo_line_to(cr, 0, 0); + cairo_stroke(cr); + cairo_destroy(cr); return surface; }