/jEdit/tags/jedit-4-2-pre14/org/gjt/sp/jedit/actions.dtd
Document Type Definition | 16 lines | 13 code | 3 blank | 0 comment | 0 complexity | 40d44aad701cd9fbdcfd6ebb0bb386e3 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 NO_REMEMBER_LAST %att-bool; "FALSE" > 13 14<!-- ACTION children --> 15<!ELEMENT CODE ( #PCDATA ) > 16<!ELEMENT IS_SELECTED ( #PCDATA ) >