annotate binary.ver @ 36008:d154d0035cb0

Don't use WidgetDestroy(). (It's not the best idea to call gtk_widget_destroy() there while the object is currently being destroyed.) In order to set the widget pointer to NULL, use gtk_widget_destroyed(). Simply destroy the widget to automatically get the pointer set to NULL then.
author ib
date Sat, 30 Mar 2013 14:32:07 +0000
parents 9d626905f38b
children 7e4a8748cf9a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
35372
9d626905f38b Add a version script to hide all symbols.
reimar
parents:
diff changeset
1 MPLAYER_1 {
9d626905f38b Add a version script to hide all symbols.
reimar
parents:
diff changeset
2 local: *;
9d626905f38b Add a version script to hide all symbols.
reimar
parents:
diff changeset
3 };