ralf b22674dbd7 change tabbox to be an input widget allowing to get and set the active tab		2022-08-05 17:37:23 +02:00
..
Et2Tab.ts	Set a smaller font-size for tab's label	2022-08-04 16:19:30 +02:00
Et2TabPanel.ts
Et2Tabs.ts	change tabbox to be an input widget allowing to get and set the active tab	2022-08-05 17:37:23 +02:00