Increasing score_widget's XmNmarginHeight to prevent it being overwritten, as per my previous patch, turned out to be a hack. As soon as the window was resized, the score_widget's margin would suddenly jump to the requested 9 pixels.
The problem with the score widget seems to be that it was created without being named. I attach a new patch which: - delays calling init_cards() until score_widget has been managed - specifies a name when creating score_widget - fixes a spelling mistake in the main window title (Solitare instead of Solitaire)
fix-paint-glitches-v2.patch
Description: Binary data
