Your message dated Mon, 16 Sep 2019 09:24:13 +1200
with message-id <[email protected]>
and subject line Re: Bug#934385: wxDC::Clear() doesn't work if wxWidgets uses
GTK3
has caused the Debian Bug report #934385,
regarding wxDC::Clear() doesn't work if wxWidgets uses GTK3
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
934385: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=934385
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: libwxgtk3.0-gtk3-0v5
Version: 3.0.4+dfsg-9
If a draw context is used and wxWidgets 3.0 (3.1 isn't affected, but isn't
packaged with debian as it is the development version) uses GTK3 the background
is likely not to be cleared before a redraw as wxDC::Clear() doesn't work under
these circumstances.
--- End Message ---
--- Begin Message ---
On Mon, Aug 12, 2019 at 05:44:11AM +0100, Olly Betts wrote:
> On Sun, Aug 11, 2019 at 11:18:11PM -0400, Scott Talbert wrote:
> > On Sun, 11 Aug 2019, Olly Betts wrote:
> > > So I'm afraid I don't seem to be able to reproduce your problem.
> > >
> > > Please can you come up with a small reproducer (upstream like a patch
> > > against one of their samples) and file a bug upstream?
> >
> > Gunter did file a bug upstream:
> > https://trac.wxwidgets.org/ticket/18463
>
> If you file an upstream bug too, please mark the Debian bug as forwarded
> to it, or if you don't know how, at least mention the upstream bug.
> Otherwise you have us wasting effort, which is rather disrespectful of
> our time.
The upstream bug has been closed as invalid - the problem here is
incorrect use of the wxWidgets API - Clear() uses the brush used by
SetBackground() not the brush set by SetBrush(). Therefore I'm closing
this bug as invalid too.
Gunter: You'll need to fix the code in wxmaxima to call SetBackground()
with the brush you want Clear() to use.
Cheers,
Olly
--- End Message ---
