Extracted from Pike v8.0 release 164 as of 2016-04-05.
   

Method GTK2.Widget()->hide_on_delete()


Method hide_on_delete

int hide_on_delete()

Description

Utility function