function echo_editable_html(PaperOptionValue $ov, $reqv, PaperTable $pt)
 {
     $reqv = (string) ($reqv === null ? $ov->data : $reqv);
     $pt->echo_editable_option_papt($this);
     echo '<div class="papev">', Ht::textarea("opt{$this->id}", $reqv, ["class" => "papertext", "rows" => max($this->display_space, 1), "cols" => 60, "onchange" => "hiliter(this)", "spellcheck" => "true"]), "</div></div>\n\n";
 }