This release contains 3 miscellaneous upgrades. In order of most impactful to least:
- [Search variables] enable selecting multiple variables. This is very convenient when needing to select multiple related variables to erase, show, query. (#165 -@kidonng)
- [Search history] use the box-drawing character instead of the pipe character to mark off timestamps. This is more visually appealing, uniform across different fonts, and won't get matched if the user searches for a pipe char. (aaf3652 - thanks @kidonng for suggesting it)
- Fix the plugin uninstaller so that it no longer erases all of your user key bindings (a1f9cae)