blob: 23b03efcecbf8fdafc38e2caa4e9d05c341cdaab (
plain)
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
<div id="font-settings" class="page" hidden>
<div class="close-button"></div>
<h1 i18n-content="fontSettingsPage"></h1>
<div class="content-area">
<section>
<h3 i18n-content="fontSettingsStandard"></h3>
<div class="font-setting-container">
<div class="font-input-div">
<div>
<select id="standard-font-family" class="font-input"
data-type="string" metric="Options_ChangeStandardFont"
pref="webkit.webprefs.global.standard_font_family">
</select>
</div>
<div>
<input id="standard-font-size" type="range" min="0" max="24"
pref="webkit.webprefs.global.default_font_size">
<div>
<span i18n-content="fontSettingsSizeTiny"></span>
<span i18n-content="fontSettingsSizeHuge"
class="font-settings-huge">
</span>
</div>
</div>
</div>
<div id="standard-font-sample" class="font-sample-div"></div>
</div>
</section>
<section>
<h3 i18n-content="fontSettingsSerif"></h3>
<div class="font-setting-container">
<div class="font-input-div">
<div>
<select id="serif-font-family" class="font-input" data-type="string"
pref="webkit.webprefs.global.serif_font_family"
metric="Options_ChangeSerifFont">
</select>
</div>
</div>
<div id="serif-font-sample" class="font-sample-div"></div>
</div>
</section>
<section>
<h3 i18n-content="fontSettingsSansSerif"></h3>
<div class="font-setting-container">
<div class="font-input-div">
<div>
<select id="sans-serif-font-family" class="font-input"
data-type="string" metric="Options_ChangeSansSerifFont"
pref="webkit.webprefs.global.sansserif_font_family">
</select>
</div>
</div>
<div id="sans-serif-font-sample" class="font-sample-div"></div>
</div>
</section>
<section>
<h3 i18n-content="fontSettingsFixedWidth"></h3>
<div class="font-setting-container">
<div class="font-input-div">
<div>
<select id="fixed-font-family" class="font-input" data-type="string"
pref="webkit.webprefs.global.fixed_font_family"
metric="Options_ChangeFixedFont">
</select>
</div>
</div>
<div id="fixed-font-sample" class="font-sample-div"></div>
</div>
</section>
<section>
<h3 i18n-content="fontSettingsMinimumSize"></h3>
<div class="font-setting-container">
<div class="font-input-div">
<div>
<input id="minimum-font-size" type="range" min="0" max="15"
pref="webkit.webprefs.global.minimum_font_size">
<div>
<span i18n-content="fontSettingsSizeTiny"></span>
<span i18n-content="fontSettingsSizeHuge"
class="font-settings-huge">
</span>
</div>
</div>
</div>
<div id="minimum-font-sample" class="font-sample-div"></div>
</div>
</section>
<section>
<h3 i18n-content="fontSettingsEncoding"></h3>
<div class="font-input-div">
<div>
<select id="font-encoding" data-type="string"
pref="intl.global.charset_default"
metric="Options_ChangeFontEncoding">
</select>
</div>
</div>
</section>
</div>
<div class="action-area">
<div class="button-strip">
<button id="font-settings-confirm" i18n-content="ok"></button>
</div>
</div>
</div>
|
