| http://www.w3.org/ns/prov#value | - There are a few reasons for this; changing the icons takes time, and there is a performance hit to refresh the icons that is noticeable on larger lists; the color change is not really necessary for the shuffle function to work as the user can just click on the one to move and click on the destination.If you did want to use the color change in the icon with multiple users, then you have to tie the
|
