equal
deleted
inserted
replaced
1 diff -ru 5.5.0/jEdit/org/gjt/sp/jedit/View.java 5.5.0/jEdit-patched/org/gjt/sp/jedit/View.java |
1 diff -ru 5.5.0/jEdit/org/gjt/sp/jedit/View.java 5.5.0/jEdit-patched/org/gjt/sp/jedit/View.java |
2 --- 5.5.0/jEdit/org/gjt/sp/jedit/View.java 2018-04-09 01:57:31.000000000 +0200 |
2 --- 5.5.0/jEdit/org/gjt/sp/jedit/View.java 2018-04-09 01:57:31.000000000 +0200 |
3 +++ 5.5.0/jEdit-patched/org/gjt/sp/jedit/View.java 2018-05-04 21:18:11.891194939 +0200 |
3 +++ 5.5.0/jEdit-patched/org/gjt/sp/jedit/View.java 2019-02-24 12:21:17.050704937 +0100 |
4 @@ -1233,15 +1233,10 @@ |
4 @@ -1233,15 +1233,10 @@ |
5 |
5 |
6 StringBuilder title = new StringBuilder(); |
6 StringBuilder title = new StringBuilder(); |
7 |
7 |
8 - /* On Mac OS X, apps are not supposed to show their name in the |
8 - /* On Mac OS X, apps are not supposed to show their name in the |