1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<HTML>
<!--Time-stamp: <2006-02-25 13:19:23 poser> -->
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
<META NAME="Author" CONTENT="Bill Poser">
<TITLE>Redet Reference Manual: Font Selection</TITLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFE2C0" VLINK="#0000EE" LINK="#AA0066" ALINK="#FF0000">
<H2><a name="font">Font Selection</a></H2>
<P>
Different fonts may be specified for different purposes. In some programs this
is merely a cosmetic feature, but in this case, in some circumstances, it can
be quite important. For example, if you are working with data in one writing
system and the interface in another, there is good chance that, even if
you have a single font that covers both, you will prefer to use different
fonts since different fonts are stronger in different writing systems.
</p>
<p>
You can choose the font family, size, and attributes
by selecting <i>Select Font</i> from the
<i>Configure</i> menu. This pops up a control panel like the one illustrated below.
</P>
<div align="center">
<img src="Images/FontControlPanel.jpg" width="80%" alt="The Font Control Panel" border="2">
</div>
<br clear="all">
<br>
<center><a href="Limitations.html">Next</a></center>
<br>
<center><a href="Manual.html">Back to Table of Contents</a></center>
</body>
</html>
|
