Florent Galland c9859a9978 Add root-editor-wrapper and improve tabs colors ...

Adding a wrapper makes more sense. Now the editor-region is really 100%
high. Need to fix the editor-top-bar paddings.

2012-12-02 21:02:11 +01:00

..

jquery-1.7.2.min.js

Recommit

2012-09-15 10:11:50 -05:00

jquery-ui-1.8.23.custom.min.js

Recommit

2012-09-15 10:11:50 -05:00

jquery.css3.min.js

Recommit

2012-09-15 10:11:50 -05:00

jquery.easing.js

Recommit

2012-09-15 10:11:50 -05:00

jquery.hoverIntent.min.js

Misc cleanup

2012-10-12 08:08:30 -07:00

jsend.js

Misc cleanup

2012-10-12 08:08:30 -07:00

localstorage.js

Misc cleanup

2012-10-03 17:40:21 -07:00

message.js

Misc cleanup

2012-10-12 08:08:30 -07:00

modal.js

Fix other possible path encoding issues

2012-10-13 09:51:26 +05:30

sidebars.js

Readjust editor layout on completion of sidebar animation

2012-10-21 14:37:57 +05:30

system.js

Add root-editor-wrapper and improve tabs colors

2012-12-02 21:02:11 +01:00