2014-12-01 9:52 GMT+01:00 Marcus Denker <marcus.denker@inria.fr>:

On 29 Nov 2014, at 11:39, kilon alios <kilon.alios@gmail.com> wrote:


"- I wonder how to get back to Nautilus. It would be nice to be able to use both."


In general we should enhance the ToolRegistry to not just register one tool, but instead keep all and have
a UI in the settings where people can the change the tool used.

There is of course an issue entry for that at

(this would not be a solution to “different tool per context”, but nevertheless we need it)

It would be convenient, yes.

At the same time, it's not much for additional tools to handle a set-as-default setting by themselves, except for the part where the API for unregistering a tool seems broken (I easily managed to throw my image into a DNU each time some tool wanted a browser, for example).

Thierry
 

Marcus