Slight improvement to our graphs property editor (#31).