Replace GSEAL in widget headers by a different symbol
authorJohn Darrington <john@darrington.wattle.id.au>
Sun, 26 May 2013 10:53:01 +0000 (12:53 +0200)
committerJohn Darrington <john@darrington.wattle.id.au>
Tue, 28 May 2013 14:03:40 +0000 (16:03 +0200)
commite06ab98c92ae22c58cc1ec3cd23294b8646cc099
tree7abc71279416f09a1c34f282cad0a2445a078361
parent7c74ba52b2a2f740991855743c06454ebb3b076d
Replace GSEAL in widget headers by a different symbol

We don't want our own data members to be sealed by Gtk
src/ui/gui/include/gtk/gtk.in.h
src/ui/gui/pspp-sheet-selection.h
src/ui/gui/pspp-sheet-view-column.h
src/ui/gui/pspp-sheet-view.h