jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed styling in firefox

Browse source
This commit is contained in:
Jan Jongboom 2011-10-13 13:14:31 +02:00
commit aa0d6e935e
2 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
lib/ace/ext/static.css
View file

@ -4,13 +4,16 @@
} }
.ace_editor .ace_gutter { .ace_editor .ace_gutter {
width: 20px; width: 25px !important;
display: inline-block; display: block;
float: left;
text-align: right; text-align: right;
padding: 0 3px 0 0; padding: 0 3px 0 0;
margin-right: 3px; margin-right: 3px;
} }
.ace-row { clear: both; }
*.ace_gutter-cell { *.ace_gutter-cell {
-moz-user-select: -moz-none; -moz-user-select: -moz-none;
-khtml-user-select: none; -khtml-user-select: none;

3
lib/ace/ext/static_highlight.js
View file

@ -71,9 +71,10 @@ exports.render = function(input, mode, theme) {
for(var ix = 0; ix < length; ix++) { for(var ix = 0; ix < length; ix++) {
var lineTokens = tokens[ix].tokens; var lineTokens = tokens[ix].tokens;
stringBuilder.push("<div class='ace-row'>");
stringBuilder.push("<span class='ace_gutter ace_gutter-cell' unselectable='on'>" + (ix+1) + "</span>"); stringBuilder.push("<span class='ace_gutter ace_gutter-cell' unselectable='on'>" + (ix+1) + "</span>");
textLayer.$renderLine(stringBuilder, 0, lineTokens, true); textLayer.$renderLine(stringBuilder, 0, lineTokens, true);
stringBuilder.push("<br>"); stringBuilder.push("</div>");
} }
// let's prepare the whole html // let's prepare the whole html