v0.1.9

fix(ui): draw the wave of a diagnostic as a wave (#24)

The wave of a text decoration is too small a wave to be seen as one at the size of the text. The editor draws the wave itself under the text that is underlined with one, with a height of 0.8 strokes, a length of nine, at the place below the baseline where an underline goes.