Sat, 07 Sep 2019 17:35:43 +0200
Closed branch after it was merged into 'default'.
<!-- 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>