The former, I guess? I don't know enough about the way GNOME Shell works yet to answer that question intelligently, to be honest. I'm working on an extension that would allow users to integrate shell scripts with the overview without having to write their own complicated extension. For example, a user would just have to type "firefox -search %s" in a dialog box instead of writing a couple hundred lines of JS.
On Thu, 2013-12-19 at 12:42 -0500, Jasper St. Pierre wrote: > Are you looking to create a search provider or implement your own > search system using the search provider interface? > > _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
