Open chrisboyle opened 2 years ago
A user writes by email that the lines in Tents get thicker after placing a tent since version 2022-04-26-0739-c43a34fb!
2022-04-26-0739-c43a34fb
This is obviously not widespread. Apparently none of the DPI ("thicker lines") mode settings make a difference to this.
A user writes by email that the lines in Tents get thicker after placing a tent since version
2022-04-26-0739-c43a34fb
!This is obviously not widespread. Apparently none of the DPI ("thicker lines") mode settings make a difference to this.