#!/usr/bin/mumps

#	Mumps GTK Signal Handler

 do ^gtk4.h
 write "on.toggle1.toggled.mps"," ",widget,!
 write $z~gtk~toggle~button~get~active(toggle1),!