restore font-size:12px on .ace_editor and add line-height: normal
This commit is contained in:
parent
2bdd35a004
commit
944edc931a
2 changed files with 4 additions and 0 deletions
|
|
@ -2,6 +2,8 @@
|
||||||
position: relative;
|
position: relative;
|
||||||
overflow: hidden;
|
overflow: hidden;
|
||||||
font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
|
font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
|
||||||
|
font-size: 12px;
|
||||||
|
line-height: normal;
|
||||||
}
|
}
|
||||||
|
|
||||||
.ace_scroller {
|
.ace_scroller {
|
||||||
|
|
|
||||||
|
|
@ -342,6 +342,8 @@ var Editor = function(renderer, session) {
|
||||||
*
|
*
|
||||||
**/
|
**/
|
||||||
this.setFontSize = function(size) {
|
this.setFontSize = function(size) {
|
||||||
|
if (typeof size == "number")
|
||||||
|
size = size + "px";
|
||||||
this.container.style.fontSize = size;
|
this.container.style.fontSize = size;
|
||||||
this.renderer.updateFontSize();
|
this.renderer.updateFontSize();
|
||||||
};
|
};
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue