unused (see also da1108a6d249);

--- a/src/Tools/VSCode/extension/src/library.ts	Mon Nov 03 15:18:23 2025 +0100
+++ b/src/Tools/VSCode/extension/src/library.ts	Mon Nov 03 15:18:58 2025 +0100
@@ -28,11 +28,6 @@
   return s.split("").reverse().join("")
 }
 
-export function has_newline(text: string)
-{
-  return text.includes("\n") || text.includes("\r")
-}
-
 
 /* settings environment */