editor: make sure properties have null terminator
We thought that Vala would properly know about a normal string[]
and
null-terminated string[]
, but apparently it doesn't. Worse, it seems
that on systems it knows how to deal with this, but not on other
systems where it just crashes.
Fixes: #266 (closed)