Extracted from Pike v8.0 release 164 as of 2016-04-05.
[Top]
Gnome
Gnome.PropertyBox
Symbol index
Gnome.PropertyBox()->create()
Gnome.Scores
Method Gnome.PropertyBox()->set_state()
Method
set_state
Gnome.PropertyBox
set_state
(
int
state
)