set_io_priority

Description:

public void set_io_priority (int io_priority)

Sets the IO priority to use while loading files.

The default IO priority is g_priority_default.

Parameters:

this

a `GtkBookmarkList`
io_priority

IO priority to use