Closed friscodelrosario closed 3 years ago
In V3.13a I have changed from the wxWidgets default 9, to the more useful 20. Making this user configurable is not a priority/efficient use of effort.
In V3.13a I have changed from the wxWidgets default 9, to the more useful 20. Making this user configurable is not a priority/efficient use of effort.