diff options
Diffstat (limited to 'gtk')
| -rw-r--r-- | gtk/PlatGTK.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx index 0ea2ba8ec..a6ae84e10 100644 --- a/gtk/PlatGTK.cxx +++ b/gtk/PlatGTK.cxx @@ -185,7 +185,7 @@ public: width[i] = 0; } } - XYPOSITION CharWidth(unsigned char ch, encodingType et_) { + XYPOSITION CharWidth(unsigned char ch, encodingType et_) const { XYPOSITION w = 0; FontMutexLock(); if ((ch <= 127) && (et == et_)) { |