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