@ -21,6 +21,7 @@ Info::Info() {
}
void Info::print(const std::string &text) {
timeout_connection.disconnect();
// Timeout based on https://en.wikipedia.org/wiki/Words_per_minute
@ -13,6 +13,7 @@
#include <gtksourceview-3.0/gtksourceview/gtksourcemap.h>
#include <regex>
Notebook::TabLabel::TabLabel(const std::function<void()> &on_close) {
set_can_focus(false);
@ -2,6 +2,7 @@
#include "cmake.hpp"
#include "meson.hpp"
#include <boost/filesystem.hpp>
#include <memory>
namespace Project {
class Build {