Extracted from Pike v8.0 release 358 as of 2016-11-23.
   

Method GTK2.Widget()->hide_on_delete()


Method hide_on_delete

int hide_on_delete()

Description

Utility function