1 <html> 2 <head> 3 4 <title>Java Font Model</title> 5 6 <script language="JavaScript"> 7 8 function repaint() { 9 var i = document.fontForm.fontName.selectedIndex; 10 document.FontModel.fontName = document.fontForm.fontName.options[i].value; 11 var j = document.fontForm.fontSize.selectedIndex; 12 document.FontModel.fontSizeString = document.fontForm.fontSize.options[j].value; 13 document.FontModel.repaint(); 14 } 15 16 </script> 17 18 </head> 19 20 <body bgcolor="#ffffff"> 21 22 <applet name="FontModel" 23 code="FontModel.class" width=1000 height=200></applet> 24 25 <p> 26 27 <FORM NAME="fontForm"> 28 <NOBR>Font: <SELECT NAME="fontName"> 29 <OPTION VALUE="Dialog">Dialog 30 <OPTION VALUE="DialogInput">DialogInput 31 <OPTION VALUE="Monospaced">Monospaced 32 <OPTION VALUE="SansSerif">SansSerif 33 <OPTION SELECTED VALUE="Serif">Serif 34 </SELECT></NOBR> 35 <NOBR>Size: <SELECT NAME="fontSize"> 36 <OPTION VALUE="10">10 37 <OPTION VALUE="12">12 38 <OPTION VALUE="14">14 39 <OPTION VALUE="18">18 40 <OPTION SELECTED VALUE="24">24 41 <OPTION VALUE="36">36 42 </SELECT></NOBR> 43 <INPUT TYPE=button VALUE=repaint> 44 </FORM> 45 46 </body> 47 </html>