01: /*
02: * XMLTokenMarker.java - XML token marker
03: * Copyright (C) 1999 Slava Pestov
04: *
05: * You may use and modify this package for any purpose. Redistribution is
06: * permitted, in both source and binary form, provided that this notice
07: * remains intact in all source distributions of this package.
08: */
09:
10: package org.syntax.jedit.tokenmarker;
11:
12: /**
13: * XML token marker.
14: *
15: * @author Slava Pestov
16: * @version $Id: XMLTokenMarker.java 3074 2004-11-08 04:24:58Z bquig $
17: */
18: public class XMLTokenMarker extends HTMLTokenMarker {
19: public XMLTokenMarker() {
20: super (false);
21: }
22: }
|