blob: e8cdf08111584f64ca97ec1774dc3d08290447ca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
<?xml version="1.0" encoding="utf-8"?>
<fonts title="_(Fonts)">
<body>
<fonts item="Console" system="true" font-name="Monospaced" font-face="plain" font-size="13" latex="15">
<item xconf-uid="console-font" name="Console" desktop="false" font-name="Monospaced" font-face="plain" font-size="13"/>
<item xconf-uid="scinotes-font" name="Scinotes" desktop="false" font-name="Monospaced" font-face="plain" font-size="12"/>
<!--item name="Command History" desktop="true" font-name="Monospaced" font-face="plain" font-size="10"/>
<item name="Variable Browser" desktop="true" font-name="Monospaced" font-face="plain" font-size="10"/>
<item name="Help" desktop="true" font-name="Monospaced" font-face="plain" font-size="10"/>
<item name="Variables Editor" desktop="true" font-name="Monospaced" font-face="plain" font-size="10"/-->
</fonts>
</body>
</fonts>
|
