Community world menu
Bug #1702359 reported by
hilaire
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Dr. Geo |
Fix Released
|
Wishlist
|
Unassigned |
Bug Description
In the world menu, add a submenu 'Community' with the following entries:
- Dr. Geo home page
- Documentation
- Forum
- Report a bug
Changed in drgeo: | |
status: | New → Fix Committed |
Changed in drgeo: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Inspired from forum.world. st/ANN- Pharo-community -addon- for-world- menu-tp4953448. html
http://