espruino/EspruinoWebIDE — pull request #16 by jumjum123 (2013-12-11 11:40:16+00:00)
Title: new options for Board and Terminal

- espruino.process
- added handling of unknwon options (used in case of new options since
last save)
- espruino.board
- added initOptions section
- fixed error if no parameter exists
- added event handling based on options (switchOptions)
- new file Espruino_Board.html in data directory
- espruino.options
- added onLoaded handling on optionBlocks
- espruino_terminal
- added optionblock for terminal
- added save code locally on send in options, default true
- new file Espruino_Terminal in data directory
- terminal
- added if statement for autoSave in click function of send button
- credit part in options
- added credit for treeview, used in espruino.board
- added links to all lines