Hover

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