/jEdit/tags/jedit-4-1-pre5/org/gjt/sp/jedit/actions.dtd
Document Type Definition | 15 lines | 12 code | 3 blank | 0 comment | 0 complexity | 9230cde24533d0743456d97a5ac904eb MD5 | raw file
1<!ENTITY % att-bool '( TRUE | FALSE )' > 2 3<!-- ACTIONS element --> 4<!ELEMENT ACTIONS ( ACTION+ ) > 5 6<!-- ACTION element --> 7<!ELEMENT ACTION ( CODE, (IS_SELECTED?) ) > 8<!ATTLIST ACTION 9 NAME ID #REQUIRED 10 NO_REPEAT %att-bool; "FALSE" 11 NO_RECORD %att-bool; "FALSE" > 12 13<!-- ACTION children --> 14<!ELEMENT CODE ( #PCDATA ) > 15<!ELEMENT IS_SELECTED ( #PCDATA ) >