From dd862698375faf0c0824f90de21c99a53ec0fb58 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Fri, 26 Jun 2015 17:16:18 +0200
Subject: [PATCH] See TODO. Should fix this before merge.

---
 juci/terminal.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/juci/terminal.cc b/juci/terminal.cc
index 3c322a8..c1ba7d3 100644
--- a/juci/terminal.cc
+++ b/juci/terminal.cc
@@ -62,6 +62,7 @@ void Terminal::Controller::PrintMessage(int line_nr, std::string message){
   view.text_view.get_buffer()->insert(iter, message);
 }
 
+//TODO: this was way too dirty, return a class instead.
 std::function<void()> Terminal::Controller::PrintMessage(std::string start_msg, std::string done_msg) {
   int line_nr=PrintMessage(start_msg+"...\n");