Code

gui: improve mouse text selection#1805

Code

Merged

wez merged 4 commits intowez:mainwez/wezterm:mainfrom davidrios:selection-improvementsdavidrios/wezterm:selection-improvementsCopy head branch name to clipboardApr 4, 2022

+166-109

Commits

Commits on Apr 1, 2022

• gui: improve mouse text selection

  Show description for 35a8d43
  davidrios

  committed
  35a8d43

• fix: rust fmt

  davidrios

  committed
  be567fb

Commits on Apr 3, 2022

• Add comments for clarification

  davidrios

  committed
  d0cfdf0

Commits on Apr 4, 2022

• Merge branch 'main' into selection-improvements

  wez

  authored
  add7335