67 lines
2.0 KiB
HTML
67 lines
2.0 KiB
HTML
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
|
||
|
|
<html>
|
||
|
|
<head>
|
||
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
||
|
|
<title>Demonstration of CodeMirrors Java highlighter written by Patrick Wied</title>
|
||
|
|
<script src="../../js/codemirror.js" type="text/javascript"></script>
|
||
|
|
<link rel="stylesheet" type="text/css" href="../../style/docs.css" />
|
||
|
|
</head>
|
||
|
|
<body>
|
||
|
|
<p>Demonstration of <a href="http://www.codemirror.net">CodeMirror</a>'s Java highlighter.</p>
|
||
|
|
|
||
|
|
<p>Written by <a href="http://www.patrick-wied.at/">Patrick Wied</a>.</p>
|
||
|
|
|
||
|
|
<div style="border-top: 1px solid black; border-bottom: 1px solid black;">
|
||
|
|
<textarea id="code">
|
||
|
|
package example;
|
||
|
|
|
||
|
|
import java.awt.*;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* This class subclasses DrawableRect and adds colors to the rectangle it draws
|
||
|
|
**/
|
||
|
|
public class ColoredRect extends DrawableRect {
|
||
|
|
// These are new fields defined by this class.
|
||
|
|
// x1, y1, x2, and y2 are inherited from our super-superclass, Rect.
|
||
|
|
@AnnotationTest
|
||
|
|
protected Color border, fill;
|
||
|
|
private String name;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* This constructor uses super() to invoke the superclass constructor, and
|
||
|
|
* also does some initialization of its own.
|
||
|
|
**/
|
||
|
|
public ColoredRect(int x1, int y1, int x2, int y2, Color border, Color fill){
|
||
|
|
super(x1, y1, x2, y2);
|
||
|
|
/* This
|
||
|
|
is a block comment */
|
||
|
|
this.border = border;
|
||
|
|
this.fill = fill;
|
||
|
|
this.name = "This is a string";
|
||
|
|
}
|
||
|
|
|
||
|
|
/**
|
||
|
|
* This method overrides the draw() method of our superclass so that it
|
||
|
|
* can make use of the colors that have been specified.
|
||
|
|
**/
|
||
|
|
public void draw(Graphics g) {
|
||
|
|
g.setColor(fill);
|
||
|
|
g.fillRect(x1, y1, x2, y2);
|
||
|
|
g.setColor(border);
|
||
|
|
g.drawRect(x1, y1, x2, y2);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
</textarea>
|
||
|
|
</div>
|
||
|
|
<script type="text/javascript">
|
||
|
|
var editor = CodeMirror.fromTextArea('code', {
|
||
|
|
height: "650px",
|
||
|
|
parserfile: ["../contrib/java/js/tokenizejava.js","../contrib/java/js/parsejava.js"],
|
||
|
|
stylesheet: "style/javacolors.css",
|
||
|
|
path: "../../js/",
|
||
|
|
tabMode : "shift"
|
||
|
|
});
|
||
|
|
</script>
|
||
|
|
</body>
|
||
|
|
</html>
|