FS#60772 - official wxmaxima does not refresh window content (leading mostly to empty window)
Attached to Project:
Arch Linux
Opened by Peter Hercek (phercek) - Sunday, 11 November 2018, 18:25 GMT
Last edited by Antonio Rojas (arojas) - Sunday, 11 November 2018, 18:29 GMT
Opened by Peter Hercek (phercek) - Sunday, 11 November 2018, 18:25 GMT
Last edited by Antonio Rojas (arojas) - Sunday, 11 November 2018, 18:29 GMT
|
Details
Description:
Wxmaxima does not refresh/paint the content of its window. It is probable it has something to do with it being compiled against wxgtk3. When I compile wxmaxima-git from aur (against wxgtk2) then it works ok. Maybe some wrong or missing dependency in wxgkt3 results in the problem. Additional info: * package version(s) extra/wxmaxima 18.10.1-1 but the problem is there probably from 17.05.0-1 * config and/or log files etc. map files for the two versions are attached Steps to reproduce: Wxmaxima from official repositories does not paint its client area aside from menus after it is launched. Only sometime some random garbage is painted. |
This task depends upon
Closed by Antonio Rojas (arojas)
Sunday, 11 November 2018, 18:29 GMT
Reason for closing: Duplicate
Additional comments about closing: FS#60704
Sunday, 11 November 2018, 18:29 GMT
Reason for closing: Duplicate
Additional comments about closing: