I've been playing today with custom sketcher colors and I like it (I always love to be able to customize GUIs to my preferences), anyway I miss some parameters that seem not to be able to be customized:
- lines width
- datum arrow color
- datum style (option to switch between arrow, dot and none)
- datum line width
- grid color
- grid line width
Thanks!