Default Highlight Behavior

[Meesch]

We have heard from users in the IOS workshop that they expect the highlighter to be turned on by default when they make a query. Moreover, Berit has suggested that a 'toggle' button would be more clear than the current button.

[lukavdplas]

Highighting was disabled by default for performance reasons, but I agree that makes more sense to enable it by default.

Re. user controls: the controls already include a toggle button, so what is meant by this? Removing the size controls? Changing the button text?

[Meesch]

I think Berit meant that it should include a clear on/off switch, like so:

[lukavdplas]

So replace the toggle button with a switch? With or without the size controls?

My own suggestion would be to remove all highlight controls and just always turn on highlighting. The gains for users are negligible in my opinion, while the control adds complexity to the UI.