[accerciser] interface_view: Use Courier New font

[Samuel Thibault <sthibaul src gnome org>]

commit ff9b61802f80d878561b9b403826e66afc27c4b6
Author: Samuel Thibault <samuel thibault ens-lyon org>
Date:   Thu Jun 20 15:31:09 2019 +0200

    interface_view: Use Courier New font
    
    To get more precise text output.
    
    Fixes #8

 plugins/interface_view.py | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/plugins/interface_view.py b/plugins/interface_view.py
index 435a19d..d637e79 100644
--- a/plugins/interface_view.py
+++ b/plugins/interface_view.py
@@ -15,6 +15,7 @@ import gi
 
 from gi.repository import Gtk as gtk
 from gi.repository import GdkPixbuf
+from gi.repository import Pango
 from gi.repository.GLib import markup_escape_text
 
 import pyatspi
@@ -1206,6 +1207,8 @@ class _SectionText(_InterfaceSection):
 
     self.offset_spin = ui_xml.get_object('spinbutton_text_offset')
     self.text_view = ui_xml.get_object('textview_text')
+    font = Pango.FontDescription("Courier New")
+    self.text_view.modify_font(font)
     self.text_buffer = self.text_view.get_buffer()
     self.toggle_defaults = ui_xml.get_object('checkbutton_text_defaults')
     self.label_start = ui_xml.get_object('label_text_attr_start')