+bool relay_key_press (GdkEventKey* ev, Gtk::Window* win);
+bool forward_key_press (GdkEventKey* ev);
+bool key_press_focus_accelerator_handler (Gtk::Window& window, GdkEventKey* ev);
+
+Glib::RefPtr<Gdk::Pixbuf> get_xpm (std::string);
+std::string get_icon_path (const char*);
+Glib::RefPtr<Gdk::Pixbuf> get_icon (const char*);
+static std::map<std::string, Glib::RefPtr<Gdk::Pixbuf> > xpm_map;
+const char* const *get_xpm_data (std::string path);
+std::string longest (std::vector<std::string>&);
+bool key_is_legal_for_numeric_entry (guint keyval);
+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> &);
+