Resize the textview area when change font - SL #4078

This patch also solves a problem when close the activity
while a text is being edited.

Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>

1 files changed, 3 insertions, 0 deletions

diff --git a/Area.py b/Area.py
index f5d62e5..da55e36 100644
--- a/Area.py
+++ b/Area.py
@@ -225,6 +225,9 @@ class Area(Gtk.DrawingArea):
         self._font_description = fd
         self.activity.textview.modify_font(fd)
         self.tool['font_description'] = fd.to_string()
+        if self.text_in_progress:
+            # set the focus in the textview to enable resize if needed
+            GObject.idle_add(self.activity.textview.grab_focus)
 
     def get_font_description(self):
         return Pango.FontDescription(self.tool['font_description'])