Support character deletion using backspace

1 files changed, 7 insertions, 0 deletions

diff --git a/src/terminal.py b/src/terminal.py
index 673779f..fd405b8 100644
--- a/src/terminal.py
+++ b/src/terminal.py
@@ -13,6 +13,9 @@ from gi.repository import GLib
 WIN_TITLE = "saneterm"
 TERM = "dumb"
 
+# XXX: Can also be looked up using unicodedata.lookup("DEL").
+DEL_CHAR = b'\x7f'
+
 class PtySource(GLib.Source):
     master = -1
 
@@ -55,6 +58,7 @@ class Terminal(Gtk.Window):
 
         self.textbuffer = self.textview.get_buffer()
         self.textbuffer.connect("end-user-action", self.user_input)
+        self.textview.connect("backspace", self.backspace)
 
         end = self.textbuffer.get_end_iter()
         self.last_mark = self.textbuffer.create_mark(None, end, True)
@@ -78,6 +82,9 @@ class Terminal(Gtk.Window):
 
         return GLib.SOURCE_CONTINUE
 
+    def backspace(self, textview):
+        os.write(self.pty.master, DEL_CHAR)
+
     def user_input(self, buffer):
         start = buffer.get_iter_at_mark(self.last_mark)
         end = buffer.get_end_iter()