comparison src/gui_gtk_x11.c @ 822:45fad0f590d0

updated for version 7.0c12
author vimboss
date Fri, 07 Apr 2006 21:33:12 +0000
parents 1f929f3ca806
children 8dd456c1e283
comparison
equal deleted inserted replaced
821:a2b128f7d705 822:45fad0f590d0