Merge branch 'master' into pentool

author: Pushkar Joshi 2012-03-06 17:05:05 -0800
committer: Pushkar Joshi 2012-03-06 17:05:05 -0800
commit: 794abd077a0cd4c797d3f566281deca77b184bfe (patch)
tree: 3bf4a83ca714def2671fe8cef93db859b0d5553f /imports/codemirror/mode/properties
parent: c155cd238b6f9e0b8191e0fc533f7bc974b762c2 (diff)
parent: 2e3943a8f751ec572066f168b58464c24b9f29e5 (diff)
download: ninja-794abd077a0cd4c797d3f566281deca77b184bfe.tar.gz
3 files changed, 100 insertions, 0 deletions
diff --git a/imports/codemirror/mode/properties/index.html b/imports/codemirror/mode/properties/index.html
new file mode 100755
index 00000000..3df6a3ae
--- /dev/null
+++ b/imports/codemirror/mode/properties/index.html
@@ -0,0 +1,40 @@
+<!doctype html>
+<html>
+  <head>
+    <title>CodeMirror: Properties files mode</title>
+    <link rel="stylesheet" href="../../lib/codemirror.css">
+    <script src="../../lib/codemirror.js"></script>
+    <script src="properties.js"></script>
+    <link rel="stylesheet" href="properties.css">
+    <style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style>
+    <link rel="stylesheet" href="../../doc/docs.css">
+  </head>
+  <body>
+    <h1>CodeMirror: Properties files mode</h1>
+    <form><textarea id="code" name="code">
+# This is a properties file
+a.key = A value
+another.key = http://example.com
+! Exclamation mark as comment
+but.not=Within ! A value # indeed
+   # Spaces at the beginning of a line
+   spaces.before.key=value
+backslash=Used for multi\
+          line entries,\
+          that's convenient.
+# Unicode sequences
+unicode.key=This is \u0020 Unicode
+no.multiline=here
+# Colons
+colons : can be used too
+# Spaces
+spaces\ in\ keys=Not very common...
+</textarea></form>
+    <script>
+      var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
+    </script>
+    <p><strong>MIME types defined:</strong> <code>text/x-properties</code>.</p>
+  </body>
+</html>
diff --git a/imports/codemirror/mode/properties/properties.css b/imports/codemirror/mode/properties/properties.css
new file mode 100755
index 00000000..d975375c
--- /dev/null
+++ b/imports/codemirror/mode/properties/properties.css
@@ -0,0 +1,3 @@
+span.cm-key {color: #00c;}
+span.cm-equals {color: #a11;}
+span.cm-value {color: #170;}
diff --git a/imports/codemirror/mode/properties/properties.js b/imports/codemirror/mode/properties/properties.js
new file mode 100755
index 00000000..2529505b
--- /dev/null
+++ b/imports/codemirror/mode/properties/properties.js
@@ -0,0 +1,57 @@
+CodeMirror.defineMode("properties", function() {
+  return {
+    token: function(stream, state) {
+      var sol = stream.sol();
+      var eol = stream.eol();
+      if (sol) {
+        if (state.nextMultiline) {
+          state.inMultiline = true;
+          state.nextMultiline = false;
+        } else {
+          state.position = "key";
+        }
+      }
+      if (eol && ! state.nextMultiline) {
+        state.inMultiline = false;
+        state.position = "key";
+      }
+      if (sol) {
+        while(stream.eatSpace());
+      }
+      var ch = stream.next();
+      if (sol && (ch === "#" || ch === "!")) {
+        state.position = "comment";
+        stream.skipToEnd();
+        return "comment";
+      } else if (ch === "=" || ch === ":") {
+        state.position = "value";
+        return "equals";
+      } else if (ch === "\\" && state.position === "value") {
+        if (stream.next() !== "u") {    // u = Unicode sequence \u1234
+          // Multiline value
+          state.nextMultiline = true;
+        }
+      }
+      return state.position;
+    },
+    startState: function() {
+      return {
+        position : "key",       // Current position, "key", "value" or "comment"
+        nextMultiline : false,  // Is the next line multiline value
+        inMultiline : false     // Is the current line a multiline value
+      };
+    }
+  };
+});
+CodeMirror.defineMIME("text/x-properties", "properties");
author	Pushkar Joshi	2012-03-06 17:05:05 -0800
committer	Pushkar Joshi	2012-03-06 17:05:05 -0800
commit	794abd077a0cd4c797d3f566281deca77b184bfe (patch)
tree	3bf4a83ca714def2671fe8cef93db859b0d5553f /imports/codemirror/mode/properties
parent	c155cd238b6f9e0b8191e0fc533f7bc974b762c2 (diff)
parent	2e3943a8f751ec572066f168b58464c24b9f29e5 (diff)
download	ninja-794abd077a0cd4c797d3f566281deca77b184bfe.tar.gz

diff --git a/imports/codemirror/mode/properties/index.html b/imports/codemirror/mode/properties/index.html new file mode 100755 index 00000000..3df6a3ae --- /dev/null +++ b/imports/codemirror/mode/properties/index.html
@@ -0,0 +1,40 @@
	1	<!doctype html>
	2	<html>
	3	<head>
	4	<title>CodeMirror: Properties files mode</title>
	5	<link rel="stylesheet" href="../../lib/codemirror.css">
	6	<script src="../../lib/codemirror.js"></script>
	7	<script src="properties.js"></script>
	8	<link rel="stylesheet" href="properties.css">
	9	<style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style>
	10	<link rel="stylesheet" href="../../doc/docs.css">
	11	</head>
	12	<body>
	13	<h1>CodeMirror: Properties files mode</h1>
	14	<form><textarea id="code" name="code">
	15	# This is a properties file
	16	a.key = A value
	17	another.key = http://example.com
	18	! Exclamation mark as comment
	19	but.not=Within ! A value # indeed
	20	# Spaces at the beginning of a line
	21	spaces.before.key=value
	22	backslash=Used for multi\
	23	line entries,\
	24	that's convenient.
	25	# Unicode sequences
	26	unicode.key=This is \u0020 Unicode
	27	no.multiline=here
	28	# Colons
	29	colons : can be used too
	30	# Spaces
	31	spaces\ in\ keys=Not very common...
	32	</textarea></form>
	33	<script>
	34	var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
	35	</script>
	36
	37	<p><strong>MIME types defined:</strong> <code>text/x-properties</code>.</p>
	38
	39	</body>
	40	</html>


diff --git a/imports/codemirror/mode/properties/properties.css b/imports/codemirror/mode/properties/properties.css new file mode 100755 index 00000000..d975375c --- /dev/null +++ b/imports/codemirror/mode/properties/properties.css
@@ -0,0 +1,3 @@
	1	span.cm-key {color: #00c;}
	2	span.cm-equals {color: #a11;}
	3	span.cm-value {color: #170;}


diff --git a/imports/codemirror/mode/properties/properties.js b/imports/codemirror/mode/properties/properties.js new file mode 100755 index 00000000..2529505b --- /dev/null +++ b/imports/codemirror/mode/properties/properties.js
@@ -0,0 +1,57 @@
	1	CodeMirror.defineMode("properties", function() {
	2	return {
	3	token: function(stream, state) {
	4	var sol = stream.sol();
	5	var eol = stream.eol();
	6
	7	if (sol) {
	8	if (state.nextMultiline) {
	9	state.inMultiline = true;
	10	state.nextMultiline = false;
	11	} else {
	12	state.position = "key";
	13	}
	14	}
	15
	16	if (eol && ! state.nextMultiline) {
	17	state.inMultiline = false;
	18	state.position = "key";
	19	}
	20
	21	if (sol) {
	22	while(stream.eatSpace());
	23	}
	24
	25	var ch = stream.next();
	26
	27	if (sol && (ch === "#" \|\| ch === "!")) {
	28	state.position = "comment";
	29	stream.skipToEnd();
	30	return "comment";
	31
	32	} else if (ch === "=" \|\| ch === ":") {
	33	state.position = "value";
	34	return "equals";
	35
	36	} else if (ch === "\\" && state.position === "value") {
	37	if (stream.next() !== "u") { // u = Unicode sequence \u1234
	38	// Multiline value
	39	state.nextMultiline = true;
	40	}
	41	}
	42
	43	return state.position;
	44	},
	45
	46	startState: function() {
	47	return {
	48	position : "key", // Current position, "key", "value" or "comment"
	49	nextMultiline : false, // Is the next line multiline value
	50	inMultiline : false // Is the current line a multiline value
	51	};
	52	}
	53
	54	};
	55	});
	56
	57	CodeMirror.defineMIME("text/x-properties", "properties");