Add datetime to window title (#196)

timholy · Mar 3, 2023 · 9a97bbd · 9a97bbd
1 parent 6bed3ad
commit 9a97bbd
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -6,6 +6,7 @@ version = "1.5.2"
 [deps]
 Cairo = "159f3aea-2a34-519c-b102-8c37f9878175"
 Colors = "5ae59095-9a9b-59fe-a467-6f913c188581"
+Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
 FileIO = "5789e2e9-d7fb-5bc7-8068-2c6fae9b9549"
 FlameGraphs = "08572546-2f56-4bcf-ba4e-bab62c3a3f89"
 Graphics = "a2bd30eb-e257-5431-a919-1863eab51364"

diff --git a/src/ProfileView.jl b/src/ProfileView.jl
@@ -4,6 +4,7 @@ if isdefined(Base, :Experimental) && isdefined(Base.Experimental, Symbol("@optle
     @eval Base.Experimental.@optlevel 1
 end
 
+using Dates
 using Profile
 using FlameGraphs
 using FlameGraphs.IndirectArrays
@@ -85,13 +86,14 @@ macro profview(ex)
         Profile.clear()
         # pause the eventloop while profiling
         before = Gtk.is_eventloop_running()
+        dt = Dates.now()
         try
             Gtk.enable_eventloop(false, wait_stopped = true)
             @profile $(esc(ex))
         finally
             Gtk.enable_eventloop(before, wait_stopped = true)
         end
-        view()
+        view(;windowname = "Profile  -  $(Time(round(dt, Second)))")
     end
 end