Selection boxes for copying multiple suggestions #14

Draft

juhoinkinen wants to merge 5 commits intomainfrom

suggestions-select-boxes

Commits on Jul 7, 2022

Cleanup some unnecessary comment tags
juhoinkinen
committed

Commits on Jul 8, 2022

Checkboxes & buttons for copying many suggestions
juhoinkinen
committed

Commits on Nov 17, 2022

Delete dir
juhoinkinen
committed

Commits on Feb 8, 2023