Is there a policy on configuring extensions ? Existing ones use smart defaults, but maybe some might be tweakable. Either it could pop up a window when called with no selection, but some extensions might do something with no selection. Or should we add to the preferences panel ? François.
