GPasteGtk.PreferencesManager.deregister – gpaste-gtk-4 Reference Manual

deregister

Description:

public void deregister (PreferencesPage page)

Deregister the page from the manager

Parameters:

this

a PreferencesManager instance
page

a PreferencesPage instance

Generated by valadoc