fix merge conflict
fix php heredoc highlighting inside array
fixes #1561
update list of real world users
Add cut or delete command shift+delete
Merge pull request #1564 from adamjimenez/patch-16

Include css rule name with lint results
Support fractional fixed-width fonts
Add comment explaining maths
Use lang.stringRepeat instead of a for loop
Merge pull request #1566 from ajaxorg/webkit-fractional-fix

Webkit fractional fix
update coffee script fixes #1568
add scrollTo method
add renderer.setMouseCursor
add editor getSelectedText method
allow any Range-like objects in session replace/remove
add fixedWidthGutter option
add @deprecated comment for getCopyText
Merge pull request #1570 from ajaxorg/papercuts

Small improvements to the api
fix formatting
Merge pull 1554
allow removing listener while event is dispatched