diff options
Diffstat (limited to 'libs/gtkmm2ext/utils.cc')
| -rw-r--r-- | libs/gtkmm2ext/utils.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libs/gtkmm2ext/utils.cc b/libs/gtkmm2ext/utils.cc index 401ed3e8ad..0a0737becd 100644 --- a/libs/gtkmm2ext/utils.cc +++ b/libs/gtkmm2ext/utils.cc @@ -18,6 +18,8 @@ $Id$ */ +#include <map> + #include <gtk/gtkpaned.h> #include <gtk/gtk.h> @@ -41,7 +43,7 @@ Gtkmm2ext::set_size_request_to_display_given_text (Gtk::Widget &w, const gchar * int width = 0; w.ensure_style (); - w.create_pango_layout(text)->get_pixel_size (width, height); + w.create_pango_layout (text)->get_pixel_size (width, height); height += vpadding; width += hpadding; |