After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 491654 - Launch user's preferred search tool when selecting Places->Search
Launch user's preferred search tool when selecting Places->Search
Status: RESOLVED OBSOLETE
Product: gnome-panel
Classification: Other
Component: general
git master
Other All
: Normal normal
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on: 491647
Blocks:
 
 
Reported: 2007-10-30 10:03 UTC by Luca Ferretti
Modified: 2020-11-06 20:22 UTC
See Also:
GNOME target: ---
GNOME version: 2.21/2.22


Description Luca Ferretti 2007-10-30 10:03:54 UTC 
Currently the Places->Search File menu item (and the Search button) are launching the hardcoded "gnome-search-tool".

Users should be able to set and launch their hown preferred search tool.

The infrastucture is ready (see depends on bug plus bugs #491650 and #491652), I just need a couple of weeks to check and edit gnome-panel code.
Comment 1 Luca Ferretti 2007-10-30 10:05:13 UTC 
(In reply to comment #0)

> The infrastucture is ready (see depends on bug plus bugs #491650 and #491652),

"ready" means that a patch agains libgnomeui is available on bugzilla, not yet reviewed/approved/applied.
Comment 2 André Klapper 2020-11-06 20:22:13 UTC 
bugzilla.gnome.org is being replaced by gitlab.gnome.org. We are closing all old bug reports in Bugzilla which have not seen updates for many years.

If you can still reproduce this issue in a currently supported version of GNOME (currently that would be 3.38), then please feel free to report it at https://gitlab.gnome.org/GNOME/gnome-panel/-/issues/

Thank you for reporting this issue and we are sorry it could not be fixed.