Add new preference option 'console.head_padding'#919
Merged
Stefterv merged 3 commits intoprocessing:mainfrom Jan 17, 2025
Merged
Add new preference option 'console.head_padding'#919Stefterv merged 3 commits intoprocessing:mainfrom
Stefterv merged 3 commits intoprocessing:mainfrom