Add/remove multiple axioms to the background knowledge

I would it somewhat uncomfortable to move axioms one by one. It would be nice to have a drag and drop feature for moving sets of selected axioms to and from the background knowledge.