## 2018-09-28 #Issues

### Tasks / Issues:
- [X] get rid of the INSERT key overriding in code mirror 
- [X] fix copy and paste in lively container url field
  - [clipboard](browse://src/client/clipboard.js)
  - fixed `lively.isGlobalKeyboardFocusElement(element)`
- [ ] drag and drop of HTML element source into code mirror? 
- [ ] prototype local search in cached files, since server side search becomes kind of slow....