Merge branch 'master' of github.com:ajaxorg/ace

This commit is contained in:
Fabian Jakobs 2011-02-02 18:11:19 +01:00
commit 4c32592f03
2 changed files with 61 additions and 60 deletions

1
.gitignore vendored
View file

@ -7,6 +7,7 @@
.project .project
.settings/ .settings/
.settings.xml .settings.xml
.c9settiongs.xml
.settings.xml.old .settings.xml.old
.*.gz .*.gz

View file

@ -55,15 +55,15 @@
.ace_editor .ace_sb div { .ace_editor .ace_sb div {
position: absolute; position: absolute;
width: 1px; width: 1px;
left: 0px; left: 0;
} }
.ace_editor .ace_print_margin_layer { .ace_editor .ace_print_margin_layer {
z-index: 0; z-index: 0;
position: absolute; position: absolute;
overflow: hidden; overflow: hidden;
margin: 0px; margin: 0;
left: 0px; left: 0;
height: 100%; height: 100%;
width: 100%; width: 100%;
} }