I'm not sure how to deal with the apparent removal of the wxRESIZE_BOX and wxTHICK_FRAME style flags.
The removal of wxRESIZE_BOX is documented here: http://trac.wxwidgets.org/ticket/9735 . Does anyone have any particular feelings on what should be done, other than "suck it and see"? -- Regards, Peter Geoghegan -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
