Simple Magma Editor + some syntax coloring