112
112
if options.measure_startup_time:
113
113
with ExecutionTime("show() & gtk events until visible"):
115
115
while gtk.events_pending():
117
117
if (app.window_main.flags() & gtk.VISIBLE and
122
122
time_to_visible = time.time() - time_entering_main