Update modelist.html
Update settings_menu.html

insert ext-settings_menu.js
Merge pull request #1408 from SourceR85/master

Fix errors in demo-files
fix missing var in modelist
more sites using ace
fix #1407 Emmet breaks blockindent
display emmet shortcuts in keybindings menu
allow canceling commands in multi_select mode
markClean and isClean added into UndoManager
indentation fixed
Merge pull request #1410 from Joonsoo/master

Dirty check functionality added into UndoManager
Merge pull request #1411 from ajaxorg/emmet

Emmet bugfix
dirty counter bug fixed
do not call unshift in getTextRange
code style
insert/removeLines at the document edges create deltas with wrong range
fix broken link in documentation
update ChangeLog
add extraStyle parameter to marker layer
Merge pull request #1421 from ajaxorg/better-marker

add extraStyle parameter to marker layer