Added optional 'Script' font to make it easier to have different font type and size for the script editor.
parent
09515c6eff
commit
d2df401c8c
|
|
@ -62,6 +62,11 @@
|
|||
<file>DejaVuSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="Script"
|
||||
comment="Name of an optional font used for the script editor">
|
||||
<file>DejaVuSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="DejaVu"
|
||||
comment="Name of DejaVu font">
|
||||
<file>DejaVuSans.ttf</file>
|
||||
|
|
@ -138,6 +143,10 @@
|
|||
<file>DejaVuSans.ttf</file>
|
||||
</font>
|
||||
|
||||
<font_size name="Script"
|
||||
comment="Size of script editor font (points, or 1/72 of an inch)"
|
||||
size="9.6"
|
||||
/>
|
||||
<font_size name="Monospace"
|
||||
comment="Size for monospaced font (points, or 1/72 of an inch)"
|
||||
size="8.0"
|
||||
|
|
|
|||
|
|
@ -62,6 +62,11 @@
|
|||
<file>DroidSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="Script"
|
||||
comment="Name of an optional font used for the script editor">
|
||||
<file>DejaVuSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="DejaVu"
|
||||
comment="Name of DejaVu font">
|
||||
<file>DroidSans.ttf</file>
|
||||
|
|
@ -138,6 +143,10 @@
|
|||
<file>DroidSans.ttf</file>
|
||||
</font>
|
||||
|
||||
<font_size name="Script"
|
||||
comment="Size of script editor font (points, or 1/72 of an inch)"
|
||||
size="9.6"
|
||||
/>
|
||||
<font_size name="Monospace"
|
||||
comment="Size for monospaced font (points, or 1/72 of an inch)"
|
||||
size="8.0"
|
||||
|
|
|
|||
|
|
@ -62,6 +62,11 @@
|
|||
<file>LiberationMono-Regular.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="Script"
|
||||
comment="Name of an optional font used for the script editor">
|
||||
<file>DejaVuSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="DejaVu"
|
||||
comment="Name of DejaVu font">
|
||||
<file>DejaVuSans.ttf</file>
|
||||
|
|
@ -138,6 +143,10 @@
|
|||
<file>DejaVuSans.ttf</file>
|
||||
</font>
|
||||
|
||||
<font_size name="Script"
|
||||
comment="Size of script editor font (points, or 1/72 of an inch)"
|
||||
size="9.6"
|
||||
/>
|
||||
<font_size name="Monospace"
|
||||
comment="Size for monospaced font (points, or 1/72 of an inch)"
|
||||
size="9.0"
|
||||
|
|
|
|||
|
|
@ -62,6 +62,11 @@
|
|||
<file>MobiSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="Script"
|
||||
comment="Name of an optional font used for the script editor">
|
||||
<file>DejaVuSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="DejaVu"
|
||||
comment="Name of DejaVu font">
|
||||
<file>MobiSans.ttf</file>
|
||||
|
|
@ -138,6 +143,10 @@
|
|||
<file>MobiSans.ttf</file>
|
||||
</font>
|
||||
|
||||
<font_size name="Script"
|
||||
comment="Size of script editor font (points, or 1/72 of an inch)"
|
||||
size="9.6"
|
||||
/>
|
||||
<font_size name="Monospace"
|
||||
comment="Size for monospaced font (points, or 1/72 of an inch)"
|
||||
size="8.0"
|
||||
|
|
|
|||
|
|
@ -62,6 +62,11 @@
|
|||
<file>DejaVuSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="Script"
|
||||
comment="Name of an optional font used for the script editor">
|
||||
<file>DejaVuSansMono.ttf</file>
|
||||
</font>
|
||||
|
||||
<font name="DejaVu"
|
||||
comment="Name of DejaVu font">
|
||||
<file>DejaVuSans.ttf</file>
|
||||
|
|
@ -132,6 +137,10 @@
|
|||
</os>
|
||||
</font>
|
||||
|
||||
<font_size name="Script"
|
||||
comment="Size of script editor font (points, or 1/72 of an inch)"
|
||||
size="9.6"
|
||||
/>
|
||||
<font name="OverrideTest"
|
||||
comment="Name of font to test overriding">
|
||||
<file>times.ttf</file>
|
||||
|
|
|
|||
Loading…
Reference in New Issue