Sun, 04 Oct 2020 15:25:17 +0200
Configuration Dialog: optimized the display of the various configuration pages.
<!-- This is the DTD for eric5's tasks file version 5.0 --> <!ELEMENT Summary (#PCDATA)> <!ELEMENT Description (#PCDATA)> <!ELEMENT Created (#PCDATA)> <!ELEMENT Filename (#PCDATA)> <!ELEMENT Linenumber (#PCDATA)> <!ELEMENT Resource (Filename, Linenumber)> <!ELEMENT Task (Summary, Description, Created, Resource?)> <!ATTLIST Task priority CDATA #REQUIRED completed CDATA #REQUIRED type CDATA #IMPLIED> <!ELEMENT ProjectScanFilter (#PCDATA)> <!ELEMENT Tasks (ProjectScanFilter?, Task*)> <!ATTLIST Tasks version CDATA #REQUIRED>