Source position: gtkproc.pp line 236
procedure GTKStyleChanged(
Widget: PGtkWidget;
previous_style: PGTKStyle;
Data: Pointer
);