mIRC Home    About    Download    Register    News    Help

Print Thread
#80967 27/04/04 10:51 PM
Joined: Apr 2004
Posts: 2
J
jokoon Offline OP
Bowl of petunias
OP Offline
Bowl of petunias
J
Joined: Apr 2004
Posts: 2
Under windows, when I compare <font size=1 face=tahoma>anytext here</font> in a browser, it looks like a different style compared to mIRC tahoma font set to 8
I don't know how it is coded, but it could be a nice feature to add font size with HTML size.

Joined: Apr 2004
Posts: 3
S
Self-satisified door
Offline
Self-satisified door
S
Joined: Apr 2004
Posts: 3
Internet Explorer size 1 font is infact 10px on normal display settings.

Try /font 10 Tahoma for the desired effect. The "size" argument is in pixels, not points as in the fonts dialog.

HTH

Joined: Feb 2003
Posts: 372
R
Fjord artisan
Offline
Fjord artisan
R
Joined: Feb 2003
Posts: 372
Incidentally, what is the difference between pixels and points?

Joined: Dec 2002
Posts: 2,962
S
Hoopy frood
Offline
Hoopy frood
S
Joined: Dec 2002
Posts: 2,962
Points are a real world measurement originally used in printing/typesetting. A point is 1/72 of an inch, which means that precisely how large it is rendered on screen depends on the size of a logical inch on that particular computer. For instance a PC will typically use 96DPI (96 pixels per inch), meaning a pixel will appear smaller than a point, however Macs usually use 72DPI, so a point and a pixel would appear the same size to a Mac user.

jokoon: The <font> tag's size values 1-7 aren't real measurements, they're simply relative sizes based on the HTML document's base font. The actual sizes used and the difference in relative size between the values varies between implementations of browsers. For instance Internet Explorer displays fonts sized using <font size="some number"> much larger than Mozilla does. There's really not anything mIRC can do to use HTML browser sizes.


Spelling mistakes, grammatical errors, and stupid comments are intentional.
Joined: Feb 2003
Posts: 372
R
Fjord artisan
Offline
Fjord artisan
R
Joined: Feb 2003
Posts: 372
Thanks. Seems like points are a Really Good Idea, then.

Joined: Dec 2002
Posts: 2,962
S
Hoopy frood
Offline
Hoopy frood
S
Joined: Dec 2002
Posts: 2,962
Well points are already supported, just give /font a negative value and it'll be treated as points instead of pixels.


Spelling mistakes, grammatical errors, and stupid comments are intentional.
Joined: Apr 2004
Posts: 2
J
jokoon Offline OP
Bowl of petunias
OP Offline
Bowl of petunias
J
Joined: Apr 2004
Posts: 2
thanks you for your help !
I noticed that nnscript's default theme has the same "fonts style" than mozilla, so maybe there is some script to make..
But it could be a feature to introduce in mIRC


Link Copied to Clipboard