create_tab_from_stream


Description:

public unowned Tab create_tab_from_stream (InputStream stream, SourceEncoding? encoding, int line_pos, int column_pos, bool jump_to)

Parameters:

this

a Window

stream

a InputStream

encoding

a SourceEncoding, or null

line_pos

the line position to visualize

column_pos

the column position to visualize

jump_to

true to set the new Tab as active

Returns:

a new Tab