From 0e70045d882e409161f6b6091a8539a5de30e5c6 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Wed, 18 Jul 2018 22:56:37 +0200
Subject: [PATCH] Minor addition to
 Source::View::on_key_press_event_smart_inserts

---
 src/source.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/source.cc b/src/source.cc
index 666348d..35a78e8 100644
--- a/src/source.cc
+++ b/src/source.cc
@@ -2533,7 +2533,7 @@ bool Source::View::on_key_press_event_smart_inserts(GdkEventKey *key) {
 
   auto allow_insertion = [](const Gtk::TextIter &iter) {
     if(iter.ends_line() || *iter == ' ' || *iter == '\t' || *iter == ';' || *iter == ',' ||
-       *iter == ')' || *iter == '[' || *iter == ']' || *iter == '{' || *iter == '}' || *iter == '<' || *iter == '>')
+       *iter == ')' || *iter == '[' || *iter == ']' || *iter == '{' || *iter == '}' || *iter == '<' || *iter == '>' || *iter == '/')
       return true;
     return false;
   };