GetInfo for Font Size

Is there a GetInfo for the current output font size? I've looked at the list and I see the GetInfo's for width and height, but I'm referring to the size that you choose in the output settings.

In other words, I want to do this:

WindowFont("window", "standard", GetInfo(20), (font size function would go here), false, false, false, false, 1, 0)

Which would give the miniwindow the same font as the output window. If not, an alternative method would also be good if anyone knows one.

I asked a similar question recently, and the equation Nick gave should work well for you, I think.


Basically, you'd probably want to do this:



EDIT: Oddly, this returns 12 for me, when my output font is Dina 10pt. Maybe I messed something up in translation.

EDIT 2: And if I change my font to 9pt or 8pt Dina, the value returned is 11 or 10. Yet if I change to, say, 10pt Dotum (next down on my font list), it returns 10 as expected. I think we must be missing a factor in the formula.

EDIT 3: Alternatively, could we maybe just have additional GetInfo() and WindowFontInfo() selectors for the font's size? *laughs*

Why be so difficult?



Should do wonders.

Well.... That's handy.

You can get basically every persistent world-specific setting through GetOption() and GetAlphaOption(). So basically everything in world configuration, but also some settings Nick implemented that don't have interface settings to toggle them (which you'd do with the Set* varieties).

Just open a world file in notepad, and look through it for the specific string you need. Sometimes they're a bit awkwardly named or hard to find, and yet in other times they're missing alltogether - in which case you need to temporarily change the option and save your world file so you can see it after all as MUSHclient only saves non-default settings by default.

I think your problem is here, from the page you quoted:



You have used the font height (effectively selector 1) without subtracting the leading (selector 4). Thus this method won't work for the world fonts, however as Worstje says, you don't need to bother anyway.

Perfect, thanks.