editor.setFontSize() has no effect

[Mark Volkmann]

When I call editor.setFontSize(pixels), nothing changes. Is there something else I need to do to make the change take effect?

--
R. Mark Volkmann
Object Computing, Inc.

[Harutyun Amirjanyan]

currently it only does editor.container.style.fontSize= val
so requires using valid css fontSize string
editor.setFontSize("12px")
editor.setFontSize("0.4em")
i'll change it to accept integers too

[Mark Volkmann]

There was another issue I ran into that I wanted to share.

I am also using Twitter Bootstrap.

After getting editor.setFontSize() to work properly using your advice, the lines were overlapping vertically.

That was due to a Twitter Bootstrap CSS file setting the line-height property to 18px.

I changed my CSS file to override that like this:

#.ace_editor {

  line-height: normal;

} 

That fixed it!

[Harutyun Amirjanyan]

I've added `line-height: normal;` to ace css, since almost all sites
using ace+Bootstrap were affected by this problem
thanks for noticing this!

btw. integer font size and -s flag in build are fixed now too

[Gulnur Ualiyeva]

Hi, I wonder if you had changed it to accept integers?