processmaker-builder
Version:
The gulp task runner for ProcessMaker building
67 lines (60 loc) • 2.08 kB
HTML
<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>