From 81edf05aab8ee0c274f80edf3ed8bbfb01d56472 Mon Sep 17 00:00:00 2001
From: Wataru Otsubo <wotsubo@icepp.s.u-tokyo.ac.jp>
Date: Thu, 3 Oct 2024 12:47:03 +0900
Subject: [PATCH] add info to interactive_dispatch_checker (tips on clipboard)

---
 src/dispatch_checker.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/dispatch_checker.jl b/src/dispatch_checker.jl
index b9e2094..1d208f2 100644
--- a/src/dispatch_checker.jl
+++ b/src/dispatch_checker.jl
@@ -120,7 +120,8 @@ function interactive_dispatch_checker(conn::DbConnection)
     printstyled("Finished\n")
     join(dispatch_list, "\n") |> print
     println()
-    printstyled("Paste the result", underline = true)
+    printstyled("Paste the result\n", underline = true)
+    @info "Tips: You can use `join(ans, \"\\n\") |> clipboard` in REPL to copy the result to the clipboard"
 
     return dispatch_list
 end