summaryrefslogtreecommitdiff
path: root/fonts.dtd
diff options
context:
space:
mode:
Diffstat (limited to 'fonts.dtd')
-rw-r--r--fonts.dtd19
1 files changed, 19 insertions, 0 deletions
diff --git a/fonts.dtd b/fonts.dtd
index 6fcfe09..6c9a33d 100644
--- a/fonts.dtd
+++ b/fonts.dtd
@@ -3,6 +3,7 @@
cache |
include |
config |
+ selectfont |
match |
alias)* >
@@ -80,6 +81,24 @@
-->
<!ELEMENT rescan (int)>
+<!--
+ Edit list of available fonts at startup/reload time
+ -->
+<!ELEMENT selectfont (rejectfont | acceptfont)* >
+
+<!ELEMENT rejectfont (glob | pattern)*>
+
+<!ELEMENT acceptfont (glob | pattern)*>
+
+<!ELEMENT glob (#PCDATA)>
+
+<!ELEMENT pattern (patelt)*>
+
+<!ELEMENT patelt (constant)*>
+<!ATTLIST patelt
+ name CDATA #REQUIRED>
+
+<!ELEMENT constant (int|double|string|matrix|bool|charset|const)>
<!ELEMENT alias (family*, prefer?, accept?, default?)>
<!ELEMENT prefer (family)*>