Re: panel-arrow buttons

[John Ellis <johne bellatlantic net>]

George <jirka@5z.com> wrote:

>> As a cheap hack I renamed the panel-arrow-*.png files in the
>> pixmap directory, restarted the panel, and now the buttons are
>> just the size I want. I wish this was an option.
>
>thanks for volunteering to make that an option ... :)

Well.... ok. ** reluctantly dives in **

>I don't have any time right now .. so if you really like it .. go for it
>... it shouldn't be that hard actually

I made the changes for the snapped-panel, but did not touch the
corner-panel. When I get the time I will do that later.

John
--
John Ellis <johne@bellatlantic.net>
http://www.geocities.com/SiliconValley/Haven/5235/