view Skins/Default/gtk-2.0/ListHeaders/list_header-insens.png @ 4683:86e2ba287242

improve the position slider's behavior a bit and do some indentation
author mf0102 <0102@gmx.at>
date Sat, 05 Jul 2008 00:58:52 +0200
parents cc5426d6d39c
children
line wrap: on
line source

(binary:image/png)