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

..

ace-editor

Create file association for Jade mode

2012-11-25 20:04:15 +01:00

dialog.php

Fix ReplaceAll function

2012-10-24 14:03:23 +00:00

gutter-bg.jpg

Added filemanager context menu JSON manifest

2012-09-26 07:33:42 -07:00

init.js

Add root-editor-wrapper and improve tabs colors

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

screen.css

Add root-editor-wrapper and improve tabs colors

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