diff --git a/src/org/omegat/gui/editor/mark/WhitespaceMarkerFactory.java b/src/org/omegat/gui/editor/mark/WhitespaceMarkerFactory.java
index 97171da..e88210f 100644
--- a/src/org/omegat/gui/editor/mark/WhitespaceMarkerFactory.java
+++ b/src/org/omegat/gui/editor/mark/WhitespaceMarkerFactory.java
@@ -44,7 +44,7 @@ public class WhitespaceMarkerFactory {
*/
public static class SpaceMarker extends AbstractMarker {
public SpaceMarker() throws Exception {
- PAINTER = new SymbolPainter(Styles.COLOR_WHITESPACE, "\u00B7"); //·•
+ PAINTER = new SymbolPainter(Styles.COLOR_WHITESPACE, "\u00B7");
toolTip = null; //don't overdo it. Space occurs many times.
pattern = Pattern.compile(" ");
}
@@ -58,7 +58,7 @@ public class WhitespaceMarkerFactory {
*/
public static class TabMarker extends AbstractMarker {
public TabMarker() throws Exception {
- PAINTER = new SymbolPainter(Styles.COLOR_WHITESPACE, "\u00BB"); //»
+ PAINTER = new SymbolPainter(Styles.COLOR_WHITESPACE, "\u00BB");
toolTip = OStrings.getString("MARKER_TAB");
pattern = Pattern.compile("\\t");
}
@@ -69,14 +69,14 @@ public class WhitespaceMarkerFactory {
/**
* Marker for linefeed.
*
- * There is a linefeed symbol: '␊'. But it is so small / hard to see,
- * that instead we use '¶' as the symbol to show, like other applications do.
+ * There is a linefeed symbol: '(patched). But it is so small / hard to see,
+ * that instead we use '(patched)' as the symbol to show, like other applications do.
*
* @author Martin Fleurke
*/
public static class LFMarker extends AbstractMarker {
public LFMarker() throws Exception {
- PAINTER = new SymbolPainter(Styles.COLOR_WHITESPACE, "\u00B6"); //¶␊
+ PAINTER = new SymbolPainter(Styles.COLOR_WHITESPACE, "\u00B6");
toolTip = "LF";
pattern = Pattern.compile("\\n");
}