Bug#934386: Bug#894663: transition: wxwidgets3.0

2019-09-30 Thread Gunter Königsmann
On 28.09.19 04:43, Olly Betts wrote: > On Fri, Sep 27, 2019 at 05:53:17AM +0200, Gunter Königsmann wrote: >> All the workarounds for crashes due to gtk3 bugs would have been >> relevant, though => will make a new release as soon as I can. > Crashes? I don't think you've reported any crashes...

Bug#934386: Bug#894663: transition: wxwidgets3.0

2019-09-27 Thread Olly Betts
On Fri, Sep 27, 2019 at 05:53:17AM +0200, Gunter Königsmann wrote: > All the workarounds for crashes due to gtk3 bugs would have been > relevant, though => will make a new release as soon as I can. Crashes? I don't think you've reported any crashes... I thought the two remaining bugs affecting

Bug#934386: Bug#894663: transition: wxwidgets3.0

2019-09-26 Thread Gunter Königsmann
All the workarounds for crashes due to gtk3 bugs would have been relevant, though => will make a new release as soon as I can. Kind regards, Gunter. On 26 September 2019 23:41:22 CEST, Olly Betts wrote: >On Thu, Sep 26, 2019 at 10:15:35AM +0200, Gunter Königsmann wrote: >> Thanks for the

Bug#934386: Bug#894663: transition: wxwidgets3.0

2019-09-26 Thread Olly Betts
On Thu, Sep 26, 2019 at 10:15:35AM +0200, Gunter Königsmann wrote: > Thanks for the offer of doing an NMU. Thanks, done. > Currently the wxMaxima manual is in transition from a HTML file made > with a proprietary tool to a .md file that can be edited by the > maintainers and (using pandoc and

Bug#934386: Bug#894663: transition: wxwidgets3.0

2019-09-26 Thread Gunter Königsmann
Thanks for the offer of doing an NMU. Currently the wxMaxima manual is in transition from a HTML file made with a proprietary tool to a .md file that can be edited by the maintainers and (using pandoc and po4a) can be converted into localized HTML. As soon as that is done a new wxMaxima release

Bug#934386: Bug#894663: transition: wxwidgets3.0

2019-09-25 Thread Olly Betts
[Moving this thread from bug #894663 to #934386] On Mon, Sep 16, 2019 at 10:43:20PM +0100, Olly Betts wrote: > On Mon, Sep 16, 2019 at 09:25:54AM -0400, Scott Talbert wrote: > > On Mon, 16 Sep 2019, Gunter Königsmann wrote: > > > Currently I am playing with the thought if the right idea would be