Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Show/hide line numbers in peer widget correctly (DistributedProofread…
…ers#531) Line numbers were always shown in peer widget. Now show/hide with the ones in the main widget. Fixes DistributedProofreaders#530
- Loading branch information