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