changeset 33427:321e181c6625

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Thu, 18 Apr 2024 18:20:49 +0200
parents fa2dfa9152c8 (current diff) 25faa5446214 (diff)
children c8332091dc73
files libgui/src/m-editor/file-editor-tab.cc libgui/src/main-window.cc
diffstat 2 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/etc/NEWS.9.md	Wed Apr 17 17:45:52 2024 +0200
+++ b/etc/NEWS.9.md	Thu Apr 18 18:20:49 2024 +0200
@@ -15,6 +15,8 @@
   (bug #65442)
 - `savepath.m`: Correctly handle packages without binaries (bug #65559).
 - Correctly scale figure position on screen with DPI scaling (high DPI).
+- `profile ('on')` now clears any existing profile data as the documentation
+  states (bug #65595).
 
 ### GUI
 
--- a/scripts/profiler/profile.m	Wed Apr 17 17:45:52 2024 +0200
+++ b/scripts/profiler/profile.m	Thu Apr 18 18:20:49 2024 +0200
@@ -74,6 +74,10 @@
 
   switch (arg)
     case "on"
+      if (__profiler_enable__ ())
+        __profiler_enable__ (false);
+      endif
+      __profiler_reset__ ();
       __profiler_enable__ (true);
 
     case "off"