mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-07 12:15:51 +00:00
47 lines
1.2 KiB
HTML
47 lines
1.2 KiB
HTML
<html>
|
|
<head>
|
|
<title>Sample Prefs Panel</title>
|
|
</head>
|
|
|
|
<script language="JavaScript" src="PrefsWindow.js">
|
|
</script>
|
|
<style TYPE="text/css">
|
|
@import url(pref.css);
|
|
</style>
|
|
|
|
<body ID=here onload="return StartUp('Fonts')">
|
|
|
|
<DIV ID=top>
|
|
<SPAN ID=lefttext>Fonts</SPAN>
|
|
</DIV>
|
|
|
|
|
|
<table>
|
|
<FORM>
|
|
|
|
|
|
<tr><td>For the Encoding:</td><td><select id="pref"><OPTION>Western</td><td>Size<select id="pref"><OPTION>10</td</tr>
|
|
<tr><td>Variable Width Font:</td><td><select id="pref"><OPTION>Filler</td><td>Size<select id="pref"><OPTION>10</td></tr>
|
|
<tr><td>Fixed Width Font:</td><td><select id="pref"><OPTION>Filler</td><td></td></tr>
|
|
|
|
</FORM>
|
|
|
|
|
|
|
|
</table>
|
|
<br>
|
|
<table>
|
|
<tr><td>Sometimes a document will provide its own fonts.</tr></td>
|
|
<FORM>
|
|
|
|
|
|
<tr><td><input type="radio" id="pref:2:browser.use_document_fonts">Use my default fonts, overriding document-specified fonts</td></tr>
|
|
<tr><td><input type="radio" id="pref:1:browser.use_document_fonts">Use document-specified fonts. but disable Dynamic Fonts</td></tr>
|
|
<tr><td><input type="radio" id="pref:0:browser.use_document_fonts">use docuent-specified fonts, but disable Dynamic Fonts</td></tr>
|
|
</table>
|
|
</FORM>
|
|
|
|
</table>
|
|
</body>
|
|
</html>
|