String textOverlineWidth
read / write

Gets the value of "text-overline-width" */

/** Sets the value of "text-overline-width"