[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Dr. Geo] [Bug 1864694] [NEW] Script menu does not update automatically
From: |
hilaire |
Subject: |
[Dr. Geo] [Bug 1864694] [NEW] Script menu does not update automatically |
Date: |
Tue, 25 Feb 2020 18:40:18 -0000 |
Public bug reported:
Script menu contents should be updated when new script are created or
loaded. It is not the case anymore under Pharo 8.
** Affects: drgeo
Importance: Medium
Status: New
** Tags: pharo8 user-interface
--
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:
New
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
- [Dr. Geo] [Bug 1864694] [NEW] Script menu does not update automatically,
hilaire <=