Use Gtk.SourceView over Gtk.TextView to aid writing longer posts.

Right now this mostly just includes (most importantly) undo/redo,
and less importantly smarter deletion and keyboard navigation.

debian/control

@@ -5,6 +5,7 @@ Maintainer: Write.as <hello@write.as>
 Build-Depends: meson,
                debhelper (>= 9),
                libgtk-3-dev,
+               libgtksourceview-3.0-dev,
                valac (>= 0.36)
 Standards-Version: 3.9.3
 

src/meson.build

@@ -4,6 +4,6 @@ executable('writeas-gtk',
 
     c_args: ['-include', 'config.h'],
     link_args: '-lm',
-    dependencies: [dependency('gtk+-3.0')],
+    dependencies: [dependency('gtk+-3.0'), dependency('gtksourceview-3.0')],
     install: true
 )

src/window.vala

@@ -39,7 +39,7 @@ public class WriteAs.MainWindow : Gtk.ApplicationWindow {
         build_keyboard_shortcuts();
 
         var scrolled = new Gtk.ScrolledWindow(null, null);
-        canvas = new Gtk.TextView();
+        canvas = new Gtk.SourceView();
         canvas.wrap_mode = Gtk.WrapMode.WORD_CHAR;
         scrolled.add(canvas);
         add(scrolled);