Use microseconds instead of milliseconds for built-in profiling

1 files changed, 2 insertions, 2 deletions

diff --git a/src/window.cc b/src/window.cc
index 262c6979..1dee2c2a 100644
--- a/src/window.cc
+++ b/src/window.cc
@@ -147,8 +147,8 @@ const DisplayBuffer& Window::update_display_buffer(const Context& context)
     if (profile and not (buffer().flags() & Buffer::Flags::Debug))
     {
         using namespace std::chrono;
-        auto duration = duration_cast<milliseconds>(Clock::now() - start_time);
-        write_to_debug_buffer(format("window display update for '{}' took {} ms",
+        auto duration = duration_cast<microseconds>(Clock::now() - start_time);
+        write_to_debug_buffer(format("window display update for '{}' took {} us",
                                      buffer().display_name(), (size_t)duration.count()));
     }