Editor improvements

- input box for search and open files
- warning message when closing an unsaved files
- buttons to change font-size (useful with projector etc)

tested on FF and Chrome (ubuntu 12.04)