Merge branch 'refs/heads/TimelineUberJD' into Timeline-local-kruti

author: Kruti Shah 2012-07-17 12:40:00 -0700
committer: Kruti Shah 2012-07-17 12:40:00 -0700
commit: bf2d7bdb22c28089dc1067bc9094ebc590daac87 (patch)
tree: 2156d9920ea1b7db49ed6460545fea7cda121bae /imports/codemirror/mode/diff
parent: 7e2c2dbd040ed79a3f0678f91bd4b6db9cf69231 (diff)
parent: b4b3e45d6684e77d361b4f8ca5be4889428320c5 (diff)
download: ninja-bf2d7bdb22c28089dc1067bc9094ebc590daac87.tar.gz
3 files changed, 33 insertions, 12 deletions
diff --git a/imports/codemirror/mode/diff/diff.css b/imports/codemirror/mode/diff/diff.css
deleted file mode 100644
index 0e96ab21..00000000
--- a/imports/codemirror/mode/diff/diff.css
+++ /dev/null
@@ -1,3 +0,0 @@
-span.cm-rangeinfo {color: #a0b;}
-span.cm-minus {color: red;}
-span.cm-plus {color: #2b2;}
diff --git a/imports/codemirror/mode/diff/diff.js b/imports/codemirror/mode/diff/diff.js
index 725bb2c7..3402f3b3 100644
--- a/imports/codemirror/mode/diff/diff.js
+++ b/imports/codemirror/mode/diff/diff.js
@@ -1,11 +1,30 @@
 CodeMirror.defineMode("diff", function() {
+  var TOKEN_NAMES = {
+    '+': 'tag',
+    '-': 'string',
+    '@': 'meta'
+  };
  return {
    token: function(stream) {
-      var ch = stream.next();
+      var tw_pos = stream.string.search(/[\t ]+?$/);
-      stream.skipToEnd();
-      if (ch == "+") return "plus";
+      if (!stream.sol() || tw_pos === 0) {
-      if (ch == "-") return "minus";
+        stream.skipToEnd();
-      if (ch == "@") return "rangeinfo";
+        return ("error " + (
+          TOKEN_NAMES[stream.string.charAt(0)] || '')).replace(/ $/, '');
+      }
+      var token_name = TOKEN_NAMES[stream.peek()] || stream.skipToEnd();
+      if (tw_pos === -1) {
+        stream.skipToEnd();
+      } else {
+        stream.pos = tw_pos;
+      }
+      return token_name;
    }
  };
 });
diff --git a/imports/codemirror/mode/diff/index.html b/imports/codemirror/mode/diff/index.html
index 2540236c..b102c090 100644
--- a/imports/codemirror/mode/diff/index.html
+++ b/imports/codemirror/mode/diff/index.html
@@ -5,8 +5,13 @@
    <link rel="stylesheet" href="../../lib/codemirror.css">
    <script src="../../lib/codemirror.js"></script>
    <script src="diff.js"></script>
-    <link rel="stylesheet" href="diff.css">
+    <style>
-    <style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style>
+      .CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}
+      span.cm-meta {color: #a0b !important;}
+      span.cm-error { background-color: black; opacity: 0.4;}
+      span.cm-error.cm-string { background-color: red; }
+      span.cm-error.cm-tag { background-color: #2b2; }
+    </style>
    <link rel="stylesheet" href="../../doc/docs.css">
  </head>
  <body>
@@ -34,12 +39,12 @@ index 04646a9..9a39cc7 100644
     }
 
     function onMouseDown(e) {
-      var start = posFromMouse(e), last = start;
+-      var start = posFromMouse(e), last = start;    
 +      var start = posFromMouse(e), last = start, target = e.target();
       if (!start) return;
       setCursor(start.line, start.ch, false);
       if (e.button() != 1) return;
-+      if (target.parentNode == gutter) {
+      if (target.parentNode == gutter) {    
 +        if (options.onGutterClick)
 +          options.onGutterClick(indexOf(gutter.childNodes, target) + showingFrom);
 +        return;
author	Kruti Shah	2012-07-17 12:40:00 -0700
committer	Kruti Shah	2012-07-17 12:40:00 -0700
commit	bf2d7bdb22c28089dc1067bc9094ebc590daac87 (patch)
tree	2156d9920ea1b7db49ed6460545fea7cda121bae /imports/codemirror/mode/diff
parent	7e2c2dbd040ed79a3f0678f91bd4b6db9cf69231 (diff)
parent	b4b3e45d6684e77d361b4f8ca5be4889428320c5 (diff)
download	ninja-bf2d7bdb22c28089dc1067bc9094ebc590daac87.tar.gz

diff --git a/imports/codemirror/mode/diff/diff.css b/imports/codemirror/mode/diff/diff.css deleted file mode 100644 index 0e96ab21..00000000 --- a/imports/codemirror/mode/diff/diff.css +++ /dev/null
@@ -1,3 +0,0 @@
1	span.cm-rangeinfo {color: #a0b;}
2	span.cm-minus {color: red;}
3	span.cm-plus {color: #2b2;}


diff --git a/imports/codemirror/mode/diff/diff.js b/imports/codemirror/mode/diff/diff.js index 725bb2c7..3402f3b3 100644 --- a/imports/codemirror/mode/diff/diff.js +++ b/imports/codemirror/mode/diff/diff.js
@@ -1,11 +1,30 @@
1	CodeMirror.defineMode("diff", function() {	1	CodeMirror.defineMode("diff", function() {
		2
		3	var TOKEN_NAMES = {
		4	'+': 'tag',
		5	'-': 'string',
		6	'@': 'meta'
		7	};
		8
2	return {	9	return {
3	token: function(stream) {	10	token: function(stream) {
4	var ch = stream.next();	11	var tw_pos = stream.string.search(/[\t ]+?$/);
5	stream.skipToEnd();	12
6	if (ch == "+") return "plus";	13	if (!stream.sol() \|\| tw_pos === 0) {
7	if (ch == "-") return "minus";	14	stream.skipToEnd();
8	if (ch == "@") return "rangeinfo";	15	return ("error " + (
		16	TOKEN_NAMES[stream.string.charAt(0)] \|\| '')).replace(/ $/, '');
		17	}
		18
		19	var token_name = TOKEN_NAMES[stream.peek()] \|\| stream.skipToEnd();
		20
		21	if (tw_pos === -1) {
		22	stream.skipToEnd();
		23	} else {
		24	stream.pos = tw_pos;
		25	}
		26
		27	return token_name;
9	}	28	}
10	};	29	};
11	});	30	});


diff --git a/imports/codemirror/mode/diff/index.html b/imports/codemirror/mode/diff/index.html index 2540236c..b102c090 100644 --- a/imports/codemirror/mode/diff/index.html +++ b/imports/codemirror/mode/diff/index.html
@@ -5,8 +5,13 @@
5	<link rel="stylesheet" href="../../lib/codemirror.css">	5	<link rel="stylesheet" href="../../lib/codemirror.css">
6	<script src="../../lib/codemirror.js"></script>	6	<script src="../../lib/codemirror.js"></script>
7	<script src="diff.js"></script>	7	<script src="diff.js"></script>
8	<link rel="stylesheet" href="diff.css">	8	<style>
9	<style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style>	9	.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}
		10	span.cm-meta {color: #a0b !important;}
		11	span.cm-error { background-color: black; opacity: 0.4;}
		12	span.cm-error.cm-string { background-color: red; }
		13	span.cm-error.cm-tag { background-color: #2b2; }
		14	</style>
10	<link rel="stylesheet" href="../../doc/docs.css">	15	<link rel="stylesheet" href="../../doc/docs.css">
11	</head>	16	</head>
12	<body>	17	<body>
@@ -34,12 +39,12 @@ index 04646a9..9a39cc7 100644
34	}	39	}
35		40
36	function onMouseDown(e) {	41	function onMouseDown(e) {
37	- var start = posFromMouse(e), last = start;	42	- var start = posFromMouse(e), last = start;
38	+ var start = posFromMouse(e), last = start, target = e.target();	43	+ var start = posFromMouse(e), last = start, target = e.target();
39	if (!start) return;	44	if (!start) return;
40	setCursor(start.line, start.ch, false);	45	setCursor(start.line, start.ch, false);
41	if (e.button() != 1) return;	46	if (e.button() != 1) return;
42	+ if (target.parentNode == gutter) {	47	+ if (target.parentNode == gutter) {
43	+ if (options.onGutterClick)	48	+ if (options.onGutterClick)
44	+ options.onGutterClick(indexOf(gutter.childNodes, target) + showingFrom);	49	+ options.onGutterClick(indexOf(gutter.childNodes, target) + showingFrom);
45	+ return;	50	+ return;