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.

this	a `GtkBookmarkList`
io_priority	IO priority to use