diff options
Diffstat (limited to 'gtk/PlatGTK.cxx')
| -rwxr-xr-x | gtk/PlatGTK.cxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx index 19b25294b..33a0b8917 100755 --- a/gtk/PlatGTK.cxx +++ b/gtk/PlatGTK.cxx @@ -155,6 +155,7 @@ public: bool Initialised() override; void PenColour(ColourDesired fore) override; int LogPixelsY() override; + int PixelDivisions() override; int DeviceHeightFont(int points) override; void MoveTo(int x_, int y_) override; void LineTo(int x_, int y_) override; @@ -395,6 +396,11 @@ int SurfaceImpl::LogPixelsY() { return 72; } +int SurfaceImpl::PixelDivisions() { + // GTK uses device pixels. + return 1; +} + int SurfaceImpl::DeviceHeightFont(int points) { const int logPix = LogPixelsY(); return (points * logPix + logPix / 2) / 72; |