31 PopUp::PopUp (Gtk::WindowPosition pos,
unsigned int showfor_msecs,
bool doh)
32 : Window (WINDOW_POPUP)
34 add_events (Gdk::BUTTON_PRESS_MASK|Gdk::BUTTON_RELEASE_MASK);
36 set_border_width (12);
53 Gtk::Window::on_realize();
54 get_window()->set_decorations (Gdk::WMDecoration (Gdk::DECOR_BORDER|Gdk::DECOR_RESIZEH));
68 delete static_cast<PopUp*
> (arg);
82 std::cerr <<
"deleting prompter\n";
86 #define ENSURE_GUI_THREAD(slot) \
87 if (!Gtkmm2ext::UI::instance()->caller_is_ui_thread()) {\
88 Gtkmm2ext::UI::instance()->call_slot (MISSING_INVALIDATOR, (slot)); \
129 Window::set_name (name);
130 label.set_name (name);
143 std::cerr <<
"deleting prompter\n" << endl;
LIBGTKMM2EXT_API void set_size_request_to_display_given_text(Gtk::Widget &w, const gchar *text, gint hpadding, gint vpadding)