Pngcrush'ed the new pushbutton tab images.

885fdff6 · Steven Wittens · 30b69380 · 30b69380 · 885fdff6 · 30b69380
Commit 885fdff6 authored Sep 17, 2004 by Steven Wittens
--- a/themes/pushbutton/tabs-off.png
+++ b/themes/pushbutton/tabs-off.png
--- a/themes/pushbutton/tabs-on.png
+++ b/themes/pushbutton/tabs-on.png
--- a/themes/pushbutton/tabs-option-hover.png
+++ b/themes/pushbutton/tabs-option-hover.png
--- a/themes/pushbutton/tabs-option-off.png
+++ b/themes/pushbutton/tabs-option-off.png
--- a/themes/pushbutton/tabs-option-on.png
+++ b/themes/pushbutton/tabs-option-on.png