Hey, yeah, the extension JS isn't easy to read for me, I'm missing the JS documentation :/
But a general, application-independet, simple search provider is what I think of. The language isn't that relevant, but I would prefer Python. Thanks & Greetings, Christoph Am Freitag, den 04.12.2015, 19:52 +0100 schrieb Clemens: > sry, didn't know that. it's just the simplest provider i know > and i thought it's easier for a python programmer to read js :) > > > Am 2015-12-04 um 19:50 schrieb Florian Müllner: > > On Fri, Dec 4, 2015 at 6:09 PM, Clemens <[email protected]> wrote: > > > a very simple search provider extension is the Remmina search > > > provider. It > > > just looks in > > > a ~/.remmina files and shows the result in overview. > > Please do not recommend implementing search providers as > > extensions, > > in particular not for results that are strongly tied to a specific > > application - it is always better in that case to let the > > application > > itself provide the results (integration with Settings, no blocking > > of > > the compositor, ...) > > -- Visit me: http://joinout.de http://criztovyl.joinout.de https://github.com/criztovyl
signature.asc
Description: This is a digitally signed message part
_______________________________________________ gnome-shell-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-shell-list
