author | wenzelm |
Thu, 05 Sep 2013 12:33:51 +0200 | |
changeset 53415 | 9ebab8b7d73c |
parent 53181 | 7bf637b65ba2 |
permissions | -rw-r--r-- |
53415
9ebab8b7d73c
updated to jedit_build-20130905 which is based on jedit-5.1.0;
wenzelm
parents:
53181
diff
changeset
|
1 |
diff -ru 5.1.0/jEdit/org/gjt/sp/jedit/TextUtilities.java 5.1.0/jEdit-patched/org/gjt/sp/jedit/TextUtilities.java |
9ebab8b7d73c
updated to jedit_build-20130905 which is based on jedit-5.1.0;
wenzelm
parents:
53181
diff
changeset
|
2 |
--- 5.1.0/jEdit/org/gjt/sp/jedit/TextUtilities.java 2013-07-28 19:03:24.000000000 +0200 |
9ebab8b7d73c
updated to jedit_build-20130905 which is based on jedit-5.1.0;
wenzelm
parents:
53181
diff
changeset
|
3 |
+++ 5.1.0/jEdit-patched/org/gjt/sp/jedit/TextUtilities.java 2013-09-05 10:51:09.996193290 +0200 |
53181 | 4 |
@@ -97,6 +97,22 @@ |
53133 | 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 '‹'; |
|
53181 | 12 |
+ case '⟨': if (direction != null) direction[0] = true; return '⟩'; |
13 |
+ case '⟩': if (direction != null) direction[0] = false; return '⟨'; |
|
14 |
+ case '⌈': if (direction != null) direction[0] = true; return '⌉'; |
|
15 |
+ case '⌉': if (direction != null) direction[0] = false; return '⌈'; |
|
16 |
+ case '⌊': if (direction != null) direction[0] = true; return '⌋'; |
|
17 |
+ case '⌋': if (direction != null) direction[0] = false; return '⌊'; |
|
18 |
+ case '⦇': if (direction != null) direction[0] = true; return '⦈'; |
|
19 |
+ case '⦈': if (direction != null) direction[0] = false; return '⦇'; |
|
20 |
+ case '⟦': if (direction != null) direction[0] = true; return '⟧'; |
|
21 |
+ case '⟧': if (direction != null) direction[0] = false; return '⟦'; |
|
22 |
+ case '⦃': if (direction != null) direction[0] = true; return '⦄'; |
|
23 |
+ case '⦄': if (direction != null) direction[0] = false; return '⦃'; |
|
53133 | 24 |
default: return '\0'; |
25 |
} |
|
26 |
} //}}} |