set_skip_pager_hint
Description:
[ Version ( deprecated = true , deprecated_since = "4.18" ) ]
public void set_skip_pager_hint (bool skips_pager)
public void set_skip_pager_hint (bool skips_pager)
Warning: set_skip_pager_hint is deprecated since 4.18.
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 |