set_skip_pager_hint

Description:

public void set_skip_pager_hint (bool skips_pager)

Sets a hint on this that pagers should not display it.

See the EWMH for details.

Parameters:

this

a `GdkSurface`
skips_pager

true to skip pagers