last todo items for 88

2026-06-16 04:26:26 +02:00 · 2005-05-08 00:06:03 +00:00
parent 16b35e3c12
commit 6c53a1b3ea
3 changed files with 14 additions and 4 deletions
@@ -1544,8 +1544,6 @@ public class Editor extends JFrame
  }


-  // TODO iron out bugs with this code under
-  //      different platforms, especially macintosh
  public void highlightLine(int lnum) {
    if (lnum < 0) {
      textarea.select(0, 0);