<div dir="ltr"><div><div>I used to use 8 for everything. After the addition of outlined text, I started inconsistently using 9 or 10, and eventually settled on 10.<br><br></div>I actually feel pretty okay about switching to a default of 10 across the board. I don't think it will break much of anything.<br><br></div>I am also not opposed to treating edged and plain text as having different line-height. That seems reasonable to me, especially since we want to move towards allowing other font sizes.<br><br><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jul 24, 2017 at 12:58 PM,  <span dir="ltr"><<a href="mailto:subversion@hamsterrepublic.com" target="_blank">subversion@hamsterrepublic.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">teeemcee<br>
2017-07-24 12:58:33 -0700 (Mon, 24 Jul 2017)<br>
452<br>
Add lineheight() function. Not too useful yet, as it always returns 10, which I'm not convinced is right<br>
<br>
10 is the value used by text slices and draw_menu; standard menu uses 8 or 9<br>
depending on whether edged font is used, and nonstandard menus use 8-10.<br>
So, actually converting code to use lineheight() is very problematic. I'd<br>
really like to be consistent, but don't even know whether edged and plain font<br>
should be considered to be the same height.<br>
---<br>
U   wip/allmodex.bas<br>
U   wip/<a href="http://allmodex.bi" rel="noreferrer" target="_blank">allmodex.bi</a><br>
______________________________<wbr>_________________<br>
Ohrrpgce mailing list<br>
<a href="mailto:ohrrpgce@lists.motherhamster.org">ohrrpgce@lists.motherhamster.<wbr>org</a><br>
<a href="http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org" rel="noreferrer" target="_blank">http://lists.motherhamster.<wbr>org/listinfo.cgi/ohrrpgce-<wbr>motherhamster.org</a><br>
</blockquote></div><br></div>