"Added cinelerra tool that helps to customize theme."<div>from year 2014.. </div><div><br></div><div><a href="https://github.com/cinelerra-cv-team/cincv-exp-akirad-paolo/commit/f9f821c25a93a71d01363c1975a82ccc4cb3d70d">https://github.com/cinelerra-cv-team/cincv-exp-akirad-paolo/commit/f9f821c25a93a71d01363c1975a82ccc4cb3d70d</a></div><div><br></div><div>i do not think we have this, do we? </div><div><br></div><div>also, there might be some svg plugin imprivements in this branch - realtime editing, dpi settings... </div>