Fixed some problems and cleaned up some things in my new Panel Options code spotted...
commit46f8173dcbb9700b416d465ed622d4cad8c02f43
authorTony Houghton <h@realh.co.uk>
Mon, 10 Sep 2007 19:43:16 +0000 (10 20:43 +0100)
committerTony Houghton <h@realh.co.uk>
Mon, 10 Sep 2007 19:43:16 +0000 (10 20:43 +0100)
treedb62289e12664e0785a1c0ad29fb673f1e4edabc
parent3e3bb197d05e8770485b3a01d127a01ed2a22d48
Fixed some problems and cleaned up some things in my new Panel Options code spotted by Thomas Leonard:

 * get_int_prop() had a slightly confusing API
 * Adding set_int_prop() cleans up panel_save()
 * Had repeated call to init_rox_theme() instead of init_gnome_theme() in
   type_to_icon()
 * icon.c doesn't need <stdarg.h> any more
ROX-Filer/src/icon.c
ROX-Filer/src/panel.c
ROX-Filer/src/type.c