Hi,<br><br>In the IDE there is a combobox where you can choose editor font<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
height. Is it needed by anyone to set height not size? Normally in<br>
applications you set font size. I understand the difference between<br>
height and size. It may be confusing for someone who doesn't that they<br>
are two different ways of setting font size.<br></blockquote><div><br>+1<br>I'd vote for removing the height combobox, it's confusing and unnecessary in a simple text editor. (Publishing is another story)<br><br>
Gerard.<br></div><br></div><br>