[Feature request] Allow user to change result order of plugins

[Dave Gilbert]

Gnome Do 0.8.1.3 in Jaunty

With lots of plugins enabled you obviously get a lot of hits, but there doesn't seem to be any way of saying 'put rhythmbox last and pigeon first' (so that names will tend to match people rather than artists).

I suggest that what you could do is that in the preferences->plugins tab you could have up and down arrows
to reorder them.

Dave

[Alex Launi (alexlauni)]

The result's relevancy is computed automatically, and Do will learn which
you want as you use it. Just using Do will do this for you.

--
--Alex Launi