[Gambas-user] Fwd: [Gambas Bug Tracker] Bug #1171: Tools menu missing

2017-09-11 Thread Benoît Minisini via Gambas-user
Message transféré Sujet : [Gambas Bug Tracker] Bug #1171: Tools menu missing Date : Mon, 11 Sep 2017 15:17:19 GMT De : bugtrac...@gambaswiki.org Pour : bago...@libero.it, g4m...@gmail.com http://gambaswiki.org/bugtracker/edit?object=BUG.1171&from=L21haW4- Comment #1 by Benoît

[Gambas-user] Fwd: [Gambas Bug Tracker] Bug #1171: Tools menu missing

2017-09-11 Thread Benoît Minisini via Gambas-user
Message transféré Sujet : [Gambas Bug Tracker] Bug #1171: Tools menu missing Date : Mon, 11 Sep 2017 15:14:57 GMT De : bugtrac...@gambaswiki.org Pour : bago...@libero.it, g4m...@gmail.com http://gambaswiki.org/bugtracker/edit?object=BUG.1171&from=L21haW4- Benoît MINISINI chan

[Gambas-user] Fwd: [Gambas Bug Tracker] Bug #1171: Tools menu missing

2017-09-11 Thread Benoît Minisini via Gambas-user
Message transféré Sujet : [Gambas Bug Tracker] Bug #1171: Tools menu missing Date : Mon, 11 Sep 2017 14:42:56 GMT De : bugtrac...@gambaswiki.org Pour : bago...@libero.it, g4m...@gmail.com http://gambaswiki.org/bugtracker/edit?object=BUG.1171&from=L21haW4- Gianluigi GRADASCHI