If a TODO message is too big, clip it.

fabioz · Jun 17, 2023 · c21002c · c21002c
1 parent 15d36bd
commit c21002c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/plugins/org.python.pydev/src/org/python/pydev/builder/todo/PyTodoVisitor.java b/plugins/org.python.pydev/src/org/python/pydev/builder/todo/PyTodoVisitor.java
@@ -136,6 +136,12 @@ private void check(int i, int j, IDocument document, List<MarkerInfo> lst, List<
                 }
 
                 String message = tok.substring(index).trim();
+                if (message.length() > 1024) {
+                    // todo messages shouldn't have more than 1024 chars
+                    // (we could go up to 65535 bytes, but it seems pointless for a
+                    // todo comment).
+                    message = message.substring(0, 1024) + " ...";
+                }
                 String markerType = IMarker.TASK;
                 int severity = IMarker.SEVERITY_WARNING;
                 boolean userEditable = false;