[m-rev.] for post-commit review: --deep-std-name

[Peter Wang]

On Mon, 14 Oct 2024 03:41:21 +0200 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> 
> On Mon, 14 Oct 2024 02:02:27 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> > > (It would be nice to have a [Reload] command, but this works.)
> > 
> > I will have a look at that. We could even have *two* reload commands:
> > 
> > - one that reloads the file with the same name as the profile now displayed, and
> 
> I just had a look. It seems that we *already* have this command in the usual menu,
> just called "Restart" instead of "Reload". How does the existing "Restart" action
> differ from the "Reload" action you want?

Yes, I thought that's what Restart did, but when I tested it again
today, it didn't load the new profiling data. The Menu and Restart
actions appear to do the same thing, which obviously wouldn't make
sense. Maybe it is something to do my setup; I will investigate later.

Peter