From b27159adac49e0c660a767e1a0ed97e268b82b7e Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Tue, 29 Sep 2015 08:20:39 +0200
Subject: [PATCH] Minor fix to tab indentation.

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

diff --git a/src/source.cc b/src/source.cc
index b9c589e..2115fc3 100644
--- a/src/source.cc
+++ b/src/source.cc
@@ -915,7 +915,7 @@ bool Source::View::on_key_press_event(GdkEventKey* key) {
   else if(key->keyval==GDK_KEY_Tab) {
     auto iter=get_buffer()->get_insert()->get_iter();
     //Special case if insert is at beginning of empty line:
-    if(iter.starts_line() && iter.ends_line()) {
+    if(iter.starts_line() && iter.ends_line() && !get_buffer()->get_has_selection()) {
       auto prev_line_iter=iter;
       while(prev_line_iter.starts_line() && prev_line_iter.backward_char()) {}
       auto line=get_line_before(prev_line_iter);