| http://www.w3.org/ns/prov#value | - FIX: a problem with icon size when loading FIX: there was a crash sometimes when clicking on an icon. some internal changes make icons bigger when passing throught change icon when clicking on Change: use GdkPixbuf and event_boxes instead of buttons.
|
