Use GtkSourceView and implement simple syntax highlighting
[pspp] / src / ui / gui / syntax-editor.ui
index 5666b4995a1fdf745ac200db4edb4d2f4436a8a8..4e388f02befb9f878ea2504c38625683ed121adc 100644 (file)
     <property name="shadow_type">GTK_SHADOW_IN</property>
     <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
     <child>
-      <object class="GtkTextView" id="syntax_text_view">
+      <object class="GtkSourceView" id="syntax_text_view">
         <property name="visible">True</property>
         <property name="can_focus">True</property>
         <property name="editable">True</property>