HoverContext

constructor(gtksourceHoverContextPointer: <Error class: unknown class><<Error class: unknown class>>)