terminal: Scroll selection with terminal contents

2012-06-27 19:29:41 -04:00
parent 38912df847
commit 18e928dfb8
1 changed files with 3 additions and 0 deletions
@@ -588,6 +588,9 @@ terminal_scroll_buffer(struct terminal *terminal, int d)
 			    terminal->curr_attr, terminal->width);
 		}
 	}
+
+	terminal->selection_start_row -= d;
+	terminal->selection_end_row -= d;
 }

 static void