oerpub/Aloha-Editor — pull request #79 by izak (2013-10-03 13:07:26+00:00)
Title: Instead of hiding copy/paste buttons, merely disable.

This avoids jitter in the UI, and is necessary to solve http://redmine.oerpub.org/issues/560.