[ui]
editor = "pico"