Extracted from Pike v8.0 release 240 as of 2016-05-30.
   

Method GTK2.Widget()->hide_on_delete()


Method hide_on_delete

int hide_on_delete()

Description

Utility function