Info messages: delay is now longer for longer messages

src/info.cc

@@ -42,10 +42,13 @@ void Info::print(const std::string &text) {
     return;
   
   timeout_connection.disconnect();
+  //Timeout based on https://en.wikipedia.org/wiki/Words_per_minute
+  //(average_words_per_minute*average_letters_per_word)/60 => (228*4.5)/60 = 17.1
+  double timeout=1000.0*std::max(3.0, 1.0+text.size()/17.1);
   timeout_connection=Glib::signal_timeout().connect([this]() {
     hide();
     return false;
-  }, 3000);
+  }, timeout);
   
   label.set_text(text);
   show();