DevToys

[Linux] Fixed crash when navigating between tools

#1259

Merged