diff options
author | Guy Harris <guy@alum.mit.edu> | 2000-08-20 07:53:45 +0000 |
---|---|---|
committer | Guy Harris <guy@alum.mit.edu> | 2000-08-20 07:53:45 +0000 |
commit | e697eb8e9f11a6737a5745c0b1d737ed4adc8fc5 (patch) | |
tree | e380d7fd2bd9171ee53df9b52167e67917969640 /README.vmware | |
parent | 2962655ac565291f66d4a5271c72bacf8774d4b6 (diff) |
Instead of having the normal-weight and bold fonts set separately,
generate the name of the boldface font from the Roman font; if the two
fonts don't have the same widths, the display will look weird when a
field is selected, and it's a bit of a pain for the user to have to
select *two* fonts.
On UNIX/X, default to
"-*-fixed-medium-r-semicondensed-*-*-120-*-*-*-*-*-" rather than to
"-*-lucidatypewriter-medium-r-normal-*-*-120-*-*-*-*-iso8859-1" - some
Linux distributions appear to lack the Lucida typewriter font.
Add a "gui.font_name" preference to the preferences file, specifying the
normal-weight font to use. Have it settable from the "GUI" tab in the
Preferences dialog box - the "Font..." button, when clicked, pops up a
font selection dialog box.
If we either can't open the selected font or the boldfaced version of
the font, default to "6x13" and "6x13bold" as fallbacks - the former
will probably be "fixed", and the latter would be "fixedbold" if X
actually created such an alias, but it doesn't so we use "6x13bold"
instead.
svn path=/trunk/; revision=2304
Diffstat (limited to 'README.vmware')
0 files changed, 0 insertions, 0 deletions