return isEditable() && (fTextWidget.isTextSelected() || !isMarkedRegionEmpty()); case COPY: return fTextWidget.isTextSelected() || !isMarkedRegionEmpty(); case DELETE: case PASTE:
return isEditable() && (fTextWidget.isTextSelected() || !isMarkedRegionEmpty()); case COPY: return fTextWidget.isTextSelected() || !isMarkedRegionEmpty(); case DELETE: case PASTE: