Increase editor's left hand side padding to 10

f6ecf83f33Piotr Osiewicz committed on 8/11/2023, 2:43:07 PMparent9e9b309
1 file changedLine totals unavailable