From cf2bc14614eb94575d5949d8a693d9057dcfe34f Mon Sep 17 00:00:00 2001
From: terru
Date: Wed, 24 Sep 2025 16:56:22 +0200
Subject: fix: hash names in case of spaces in first command arg

---
 Latex.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Latex.thy')

diff --git a/Latex.thy b/Latex.thy
index 81f582d..d28fc82 100644
--- a/Latex.thy
+++ b/Latex.thy
@@ -44,7 +44,7 @@ fun export_snippet searchterm lthy = Thy_Info.add_presentation (fn {options, seg
             |> map (fn sym => 
                  if Symbol.is_ascii_letter sym orelse Symbol.is_ascii_digit sym 
                  then sym else if Symbol.is_printable sym then "-" else "")
-          val looks_like_name = not (exists (Symbol.is_blank) symbols) andalso length symbols <> 0;
+          val looks_like_name = not (exists (Symbol.is_blank) (Symbol.explode name)) andalso length symbols <> 0;
           val command_name = Toplevel.name_of command
         in (not looks_like_name, command_name ^ ":" ^ (if looks_like_name then String.concat symbols else "")) end);
 
-- 
cgit v1.2.3

