A small timer plugin intended for use as a rotation timer in a Coding Dojo.
The plugin interrupts you after the set time runs out.
It forbids further access to any eclipse functionality...
General Purpose Tools, Tools, Other
Last Updated on Friday, January 15, 2021 - 10:10 by Gerd Augsburg