set_io_priority

Description:

public void set_io_priority (int io_priority)

Sets the IO priority to use while loading directories.

Setting the priority while this is loading will reprioritize the ongoing load as soon as possible.

The default IO priority is g_priority_default, which is higher than the GTK redraw priority. If you are loading a lot of directories in parallel, lowering it to something like g_priority_default_idle may increase responsiveness.

Parameters:

this	a `GtkDirectoryList`
io_priority	IO priority to use