1. 25 May, 2021 3 commits
  2. 24 May, 2021 4 commits
  3. 19 May, 2021 16 commits
  4. 18 May, 2021 2 commits
  5. 17 May, 2021 4 commits
  6. 16 May, 2021 1 commit
  7. 10 May, 2021 1 commit
    • Méven Car's avatar
      LSP: Improve tooltip · 5a1f19e5
      Méven Car authored
      Before the lsp tooltip would ever be visible for 1 second when not in manual mode.
      
      This makes the tooltip visible as long as the mouse has not moved, or hovers the tooltip. When the mouse moves there is a 100 delay before the tooltip is hidden to let the user hover over the tooltip if he wants to select text there.
      If a tooltip is hovered when the mouse leaves it, the tooltip closes immediately.
      There is only one Lsp tooltip ever shown.
      5a1f19e5
  8. 05 May, 2021 1 commit
  9. 03 May, 2021 8 commits