+void reset_dpi ();
+void set_pango_fontsize ();
+
+void resize_window_to_proportion_of_monitor (Gtk::Window*, int, int);
+
+std::string escape_underscores (std::string const &);
+std::string escape_angled_brackets (std::string const &);
+
+Gdk::Color unique_random_color (std::list<Gdk::Color> &);
+
+std::string rate_as_string (float r);
+
+std::string track_number_to_string (int64_t tracknumber, std::string sep = "", std::string postfix = "");