| http://www.w3.org/ns/prov#value | - t the left and repeatableIn my installation, a search bar is permanently visible and accessible by different shortcuts, activating different modes, e.g. Ctrl+Comma: find the text typed in the search bar and jump to the first/next occurence Alt+Comma: dito, but taking over the currently highlighted text stringCtrl+Period: Find all occurences of the currently highlighted string and list them in a se
|
