Notice: Any messages purporting to come from this site telling you that your password has expired, or that you need to verify your details, confirm your email, resolve issues, making threats, or asking for money, are
spam. We do not email users with any such messages. If you have lost your password you can obtain a new one by using the
password reset link.
Due to spam on this forum, all posts now need moderator approval.
Entire forum
➜ MUSHclient
➜ General
➜ Changing global font doesn't change local font
|
Changing global font doesn't change local font
|
It is now over 60 days since the last post. This thread is closed.
Refresh page
| Posted by
| Philip Mak
USA (35 posts) Bio
|
| Date
| Sun 21 Apr 2002 06:06 AM (UTC) |
| Message
| In the Appearance->Output properties of my world, I have checked "Override with default" in font.
But, if I go to Global Preferences (Ctrl+Alt+G) and change the default Output Font, this change does not take effect on worlds that I currently have open.
How can I force it to take effect? (It's hard to determine what font works best, otherwise.) | | Top |
|
| Posted by
| Nick Gammon
Australia (23,173 posts) Bio
Forum Administrator |
| Date
| Reply #1 on Mon 22 Apr 2002 02:19 AM (UTC) |
| Message
| Changing the global font changes the font that will be used for all subsequent worlds that are opened with "override with default" checked.
It isn't really supposed to "walk" all open worlds and change them on-the-fly when you change the global one, although I suppose you could argue that it should.
For now, to test the fonts, simply uncheck "override with default" for a particular world, experiment with the font for that world (locally) and then when you are happy with the results (eg. Lucida Console, 10 point) use that entry in the global defaults. |
- Nick Gammon
www.gammon.com.au, www.mushclient.com | | Top |
|
The dates and times for posts above are shown in Universal Co-ordinated Time (UTC).
To show them in your local time you can join the forum, and then set the 'time correction' field in your profile to the number of hours difference between your location and UTC time.
12,593 views.
It is now over 60 days since the last post. This thread is closed.
Refresh page
![[Go to top]](/images/gototop.gif)
top