The branch, properpaint, has been updated.
- Log -----------------------------------------------------------------
commit 6a6c9e1bdf2f1dbd31888de87e33b87c34fab556
Author: Jean-Marc Lasgouttes <lasgout...@lyx.org>
Date: Wed Sep 13 12:38:33 2017 +0200
fixup nullpainter: Remove unused private field from Painter
Clang is good at seeing those, gcc is not.
diff --git a/src/frontends/Painter.h b/src/frontends/Painter.h
index 79c907d..17253b2 100644
--- a/src/frontends/Painter.h
+++ b/src/frontends/Painter.h
@@ -49,7 +49,7 @@ namespace frontend {
*/
class Painter {
public:
- Painter(double pixel_ratio) : drawing_enabled_(true),
pixel_ratio_(pixel_ratio) {}
+ Painter(double pixel_ratio) : pixel_ratio_(pixel_ratio) {}
static const int thin_line;
@@ -180,8 +180,6 @@ public:
/// draws a wavy line that can be used for underlining.
virtual void wavyHorizontalLine(int x, int y, int width, ColorCode col)
= 0;
private:
- ///
- bool drawing_enabled_;
/// Ratio between physical pixels and device-independent pixels
double pixel_ratio_;
};
-----------------------------------------------------------------------
Summary of changes:
src/frontends/Painter.h | 4 +---
1 files changed, 1 insertions(+), 3 deletions(-)
hooks/post-receive
--
Repository for new features
