53133
|
1 |
diff -ru 5.0.0/jEdit/org/gjt/sp/jedit/TextUtilities.java 5.0.0/jEdit-patched/org/gjt/sp/jedit/TextUtilities.java
|
|
2 |
--- 5.0.0/jEdit/org/gjt/sp/jedit/TextUtilities.java 2012-11-17 16:42:29.000000000 +0100
|
|
3 |
+++ 5.0.0/jEdit-patched/org/gjt/sp/jedit/TextUtilities.java 2013-08-21 22:13:10.688736361 +0200
|
|
4 |
@@ -97,6 +97,10 @@
|
|
5 |
case '}': if (direction != null) direction[0] = false; return '{';
|
|
6 |
case '<': if (direction != null) direction[0] = true; return '>';
|
|
7 |
case '>': if (direction != null) direction[0] = false; return '<';
|
|
8 |
+ case '«': if (direction != null) direction[0] = true; return '»';
|
|
9 |
+ case '»': if (direction != null) direction[0] = false; return '«';
|
|
10 |
+ case '‹': if (direction != null) direction[0] = true; return '›';
|
|
11 |
+ case '›': if (direction != null) direction[0] = false; return '‹';
|
|
12 |
default: return '\0';
|
|
13 |
}
|
|
14 |
} //}}}
|
|
15 |
|