karol@jagiello.it ce87fdc247 bump to 1.5.1 ... quick fix: mouse click on scrollbar caused loss of tabs selection		2018-03-13 18:11:22 +01:00
..
TODO.txt	bump to 1.5.1	2018-03-13 18:11:22 +01:00