[gedit] Fix open doc selector font size

[Paolo Borelli <pborelli src gnome org>]

commit 28028555d18c3be0a9adb8c800472d63749c5c63
Author: Paolo Borelli <pborelli gnome org>
Date:   Sat Aug 20 12:33:56 2016 +0200

    Fix open doc selector font size
    
    Gtk now returns the size at a different scale... what we are doing
    here is dubious since I think we are mixing px and pt. Anyway this
    restores the right size.

 gedit/gedit-open-document-selector.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-open-document-selector.c b/gedit/gedit-open-document-selector.c
index 9d22bfd..1221d33 100644
--- a/gedit/gedit-open-document-selector.c
+++ b/gedit/gedit-open-document-selector.c
@@ -1094,6 +1094,9 @@ on_treeview_style_updated (GtkWidget                 *widget,
                               NULL);
 
        gtk_style_context_restore (context);
+
+       selector->name_font_size = selector->name_font_size * 72.0 / 96.0;
+       selector->path_font_size = selector->path_font_size * 72.0 / 96.0;
 }
 
 static void