GTK, blinking interfaces
Some manipulations makes TXM interfaces blink. The bugs only happens to GTK3 and Ubuntu 20.04+
To reproduce 1
- Create a CA
- Open&Close the chart edition option dialog
- the interface is blinking when moving the mouse over the corpora area
To reproduce 2
- Create a specificity and open a chart of some lines OR Create a CA
- click in the chart ->the border border around the chart is shown
- place the mouse over the bar and don’t move the pointer for some secs (time for the JFC tooltip to open ?)
- the interface is blinking when moving the mouse over the corpora area
Solution 0
- for 1) : in OpenJFCChartPropertiesEditor, do not wrap the dialog in SWT async and Swing.invokeLater : makes the dialog modal but the interface is no more broken
- for 2) : in CustomChartPanel, disable the tooltips for Linux only
(from redmine: issue id 3082, created on 2021/05/31 by Matthieu Decorde)