0.15.5

Release date: 28.03.2019

Features:

Fixes:

  • Keyboard shortcuts now usable even if Highlighter tooltip is disabled
  • Google Integration bug fixed