--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/DTDs/Shortcuts-3.6.dtd Mon Dec 28 16:03:33 2009 +0000 @@ -0,0 +1,13 @@ +<!-- This is the DTD for eric3's shortcuts file version 3.6 --> + +<!ELEMENT Name (#PCDATA)> +<!ELEMENT Accel (#PCDATA)> +<!ELEMENT AltAccel (#PCDATA)> + +<!ELEMENT Shortcut (Name, Accel, AltAccel)> +<!ATTLIST Shortcut + category CDATA #REQUIRED> + +<!ELEMENT Shortcuts (Shortcut+)> +<!ATTLIST Shortcuts + version CDATA #REQUIRED>