set_skip_pager

Description:

public void set_skip_pager (bool skip)

Asks the window manager to make this included or not included on pagers.

Parameters:

this

a Window.
skip

whether this should be included on pagers.