Make thin lines exactly 1 pixel wide

The setting of 0 (minimal possible width) was too thin for Mac Retina displays.

Fixes bug #10031.

diff --git a/src/frontends/qt4/GuiPainter.cpp b/src/frontends/qt4/GuiPainter.cpp
index 9204c73348adfb2131a60996f565ee8b8ad13bf4..b67441b9b17d26cacc21f5d4cf22d0f5526c33b6 100644 (file)
--- a/src/frontends/qt4/GuiPainter.cpp
+++ b/src/frontends/qt4/GuiPainter.cpp
@@ -46,7 +46,7 @@ using namespace lyx::support;
 namespace lyx {
 namespace frontend {
 
-const int Painter::thin_line = 0;
+const int Painter::thin_line = 1;
 
 GuiPainter::GuiPainter(QPaintDevice * device, double pixel_ratio)
        : QPainter(device), Painter(pixel_ratio),