JannisX11 b502bd3939 Fix #1593 ... Can't add to selection with area select in edge or face mode Fix pan tool visible in Tools menu on desktop Fix display of side menu on tools in menu		2022-10-02 17:32:04 +02:00
..
formats	Fix #1593	2022-10-02 17:32:04 +02:00
codec.js	Fix #1593	2022-10-02 17:32:04 +02:00
format.js	Fix #1585 Image tabs do not correctly save viewport position	2022-10-01 17:11:42 +02:00
io.js	Fix mirror painting on meshes	2022-09-09 22:59:40 +02:00
project.js	Fix #1575 Selected tool resets to default when switching between projects	2022-10-01 18:40:43 +02:00