What is the format of the parameter activate_time in Python GTK+ when using Gtk.Menu.popup() method?
I have tried using int(time.time()) but I get a traceback saying an integer is required...
I found out I can use gtk.get_current_event_time() to get a reasonable timestamp matching what Gtk looks like it expects.
Format of activate_time in Gtk.Menu