from https://github.com/jacob/ClipboardManagerPlugin.git