Mathieu Pellerin a7397b1726
[python console] improve settings UI (#7041)
- improve UI spacing
- harmonize reset icon
2018-05-21 16:48:43 +07:00
..