ralf c3673b1126 ported timestamper to a web-component
also implemented legacy methods activateTab() and setActiveTab() for new tabs widget
2022-08-03 15:48:35 +02:00
..