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