Hugo Locurcio b0f47f9061 Add margins to the window ... This prevents text from being next to the window borders, which looks ugly and is difficult to read when in fullscreen mode.		2019-10-17 15:08:01 +02:00
..
material_maker	Add margins to the window	2019-10-17 15:08:01 +02:00