OgtkSourceView3Propsval set : ('a, 'b) Gobject.property -> 'a Gobject.obj -> 'b -> unitval get : ('a, 'b) Gobject.property -> 'a Gobject.obj -> 'bval param : ('a, 'b) Gobject.property -> 'b -> 'a Gobject.paramclass virtual source_style_scheme_manager_props : object ... endclass virtual source_completion_info_props : object ... endclass virtual source_completion_info_sigs : object ... endclass virtual source_completion_proposal_props : object ... endclass virtual source_completion_proposal_sigs : object ... endclass virtual source_completion_item_props : object ... endclass virtual source_completion_item_sigs : object ... endclass virtual source_completion_context_props : object ... endclass virtual source_completion_context_sigs : object ... endclass virtual source_completion_props : object ... endclass virtual source_completion_sigs : object ... endclass virtual source_mark_props : object ... endclass virtual source_mark_attributes_props : object ... endclass virtual source_undo_manager_props : object ... endclass virtual source_undo_manager_sigs : object ... endclass virtual source_buffer_props : object ... endclass virtual source_buffer_sigs : object ... endclass virtual source_view_props : object ... endclass virtual source_view_sigs : object ... end