I guess not having an unload button will be ok, as long as the bookmark
sets list does not grow too much. Even then, editing the relevant config
file to unclutter it is fine.

Thanks for your quick reply!
Julien

Reply via email to