BUT not the Clipman-plugin. It's light grey and if I copy something this is not transferred to the clipman (copy and paste works but I have no history - the benefit of the plugin ...).