[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Dr. Geo] [Bug 1864694] Re: Script menu does not update automatically
|
From: |
hilaire |
|
Subject: |
[Dr. Geo] [Bug 1864694] Re: Script menu does not update automatically |
|
Date: |
Fri, 28 Feb 2020 18:07:48 -0000 |
** Changed in: drgeo
Status: New => Fix Committed
--
You received this bug notification because you are a member of DrGeo
developers, which is subscribed to Dr. Geo II.
Matching subscriptions: Dr. Geo bug report
https://bugs.launchpad.net/bugs/1864694
Title:
Script menu does not update automatically
Status in Dr. Geo II:
Fix Committed
Bug description:
Script menu contents should be updated when new script are created or
loaded. It is not the case anymore under Pharo 8.
To manage notifications about this bug go to:
https://bugs.launchpad.net/drgeo/+bug/1864694/+subscriptions