Ralf Becker 30976817b8 re-added in r30107 lost name of tab widget, causing tabs no longer getting disabled		2010-05-13 09:56:12 +00:00
..
default	re-added in r30107 lost name of tab widget, causing tabs no longer getting disabled	2010-05-13 09:56:12 +00:00
jerryr/images	using default icons	2006-12-09 09:24:22 +00:00