log sidebar/tab-collection-manager.html @ 7:693f54f58605 default tip

age author description
2018-11-21 Guido Berhoerster Replace tab list scroll bar with scroll buttons
2018-11-17 Guido Berhoerster Initial revision