Gridarta Editor
XMLTokenMarker.java
Go to the documentation of this file.
1
/*
2
* XMLTokenMarker.java - XML token marker
3
* Copyright (C) 1999 Slava Pestov
4
* Copyright (C) 2000-2023 The Gridarta Developers.
5
*
6
* You may use and modify this package for any purpose. Redistribution is
7
* permitted, in both source and binary form, provided that this notice
8
* remains intact in all source distributions of this package.
9
*/
10
11
package
net.sf.gridarta.textedit.textarea.tokenmarker;
12
17
public
class
XMLTokenMarker
extends
HTMLTokenMarker
{
18
19
public
XMLTokenMarker
() {
20
super(
false
);
21
}
22
23
}
net.sf.gridarta.textedit.textarea.tokenmarker.XMLTokenMarker.XMLTokenMarker
XMLTokenMarker()
Definition:
XMLTokenMarker.java:19
net.sf.gridarta.textedit.textarea.tokenmarker.HTMLTokenMarker
HTML token marker.
Definition:
HTMLTokenMarker.java:22
net.sf.gridarta.textedit.textarea.tokenmarker.XMLTokenMarker
XML token marker.
Definition:
XMLTokenMarker.java:17
src
textedit
src
main
java
net
sf
gridarta
textedit
textarea
tokenmarker
XMLTokenMarker.java
Generated on Mon Sep 1 2025 00:35:59 for Gridarta Editor by
1.8.17