Added jQuery UI 1.10.1.
fixed IE8 - whooops
keyword default was bombing IE8, so moved to string
Merge pull request #536 from AliMD/master

Add & Update some libs
Merge pull request #524 from scottgonzalez/jqueryui

Added jQuery UI 1.10.1.
fixed the emmet compression with uglify using "unsafe: false"
removed unused grunt module
fixed those nasty exceptions in the new library additions
get font stylesheet from static server
increase amount of data sent back (and remove legacy codemirror). ref #511
updated to CM3.1
move the cursor in HTML panel to the first blank line - closes #500
updated Emmet to support CM3.1 - also includes tweak to support Emmet commenting on JS panel
add active line support, and fix tab support in js panel
tweak padding on editor when line numbers are shown to get flush active line
fixed focusing on panels and removed some (now I hope) redundant code
bump
add jQuery 2.0 beta
cleaner modal dialog - though I doubt if @dannyhope would use the word "clean"
reverting change to SQL - only server change that could be causing cpu spike. ref #511