Issue #119: added (nonfunctional) cut, copy, paste buttons