GNOME Bugzilla – Bug 166303
Use new gnome_desktop_item_set_launch_time() API
Last modified: 2005-03-07 18:14:27 UTC
Bug 150910 added a new gnome_desktop_item_set_launch_time() API. All users of gnome_desktop_item_launch* should be using this API. I did a search through all code paths that call any such function and all code paths are such that gtk_get_current_event_time() will return the right result (i.e. they're all in signal handlers such as activate, clicked, or button_press). So the patch is pretty easy--I'll attach it in a minute.
Created attachment 36999 [details] [review] Use new gnome_desktop_item_set_launch_time() API
Fixed in CVS. 2005-02-41 Dennis Cranston <dennis_cranston@yahoo.com> * gsearchtool-support.c: (open_file_with_application): Use new gnome_desktop_item_set_launch_time() API. Patch provided by Elijah Newren. Fixes bug #166303.
Oops, we also need to update configure.in.
Created attachment 37033 [details] [review] Update configure.in to depend on newer gnome-desktop version
crap, this was never applied :-(
Ok, it's in now.