Формат activ_time в Gtk.Menu

Question

Каков формат параметра activate_time в Python GTK + при использовании метода Gtk.Menu.popup()?

Я попытался использовать int(time.time()), но я получил трассировку, говорящую, что требуется целое число ...

Answer 1

Я обнаружил, что могу использовать gtk.get_current_event_time(), чтобы получить разумную метку времени, совпадающую с ожидаемой Gtk.

Answer 2

Не уверен, что это полное решение, но time.time() возвращает число с плавающей запятой , попробуйте привести к int и посмотреть, что произойдет.

EDIT: Посмотрев исходные документы, я нашел этот тидбит:

Значения button и activ_time должны быть кнопкой мыши, которая была нажата, чтобы вызвать всплывающее меню, и временем, когда была нажата кнопка. Эти значения обычно можно получить из "button_press_event".

Возможно, это будет более полезным, чем моя первая попытка.

Я также нашел этот C-фрагмент в C-документах , у него popup(), вызываемый в обработчике сигналов (именно так они получают "button_press_event".