diff options
Diffstat (limited to 'src/font_size.cc')
| -rw-r--r-- | src/font_size.cc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/font_size.cc b/src/font_size.cc index d11ee89..7d556af 100644 --- a/src/font_size.cc +++ b/src/font_size.cc @@ -40,3 +40,15 @@ FontSize::points (int screen_height_in_points) const return _proportional.get() * screen_height_in_points; } + +bool +FontSize::operator== (FontSize const & other) const +{ + if (_proportional && other._proportional) { + return _proportional.get() == other._proportional.get(); + } else if (_points && other._points) { + return _points.get() == other._points.get(); + } + + return false; +} |