On 15.09.19 23:24, Olly Betts wrote: > 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.
wxMaxima already did use SetBackground() when it used Clear(). I don't know if the GTK version debian uses or in the wxWidgets version debian ships is the cause for this not to helo. The current release of wxMxima no more uses Clear() on GTK3. My program therefore no more is affected by the bug. Therefore won't object against closing the bug. But chances are high that other projects are still affected. Kind regards, Gunter.
