| http://www.w3.org/ns/prov#value | - However, if you experience some error and those changes are not reverted, for example the highlights color remains changed after you disable the add-on, you can always reset all changed native preferences from within the preferences dialog.I also recommend Find Suggest for added functionality and Rainbowpicker for a higher control of the highlights color.Known incompatibilities:There is a problem
|
