Am 18.09.2017 um 15:36 schrieb Jean-Marc Lasgouttes <lasgout...@lyx.org>:
>
> Le 18/09/2017 à 14:46, Stephan Witt a écrit :
>> The patch makes no difference again, sorry. Removing the mentioned line
>> changes it to gray background.
>
> I am not completely surprised. What does the "painting" debug flag tell us?
==========
Setting debug level to painting
Debugging `painting' (RowPainter profiling)
BufferView.cpp (2719): metrics: anchor pit = 0 anchor ypos = 43
BufferView.cpp (2755): Metrics: anchor pit = 0 anchor ypos = 43 y1 = 0 y2 =
492 pit1 = -1 pit2 = 8
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3123): Strategy: FullScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (2719): metrics: anchor pit = 0 anchor ypos = 43
BufferView.cpp (2755): Metrics: anchor pit = 0 anchor ypos = 43 y1 = 0 y2 =
492 pit1 = -1 pit2 = 8
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3123): Strategy: FullScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (2719): metrics: anchor pit = 0 anchor ypos = 43
BufferView.cpp (2755): Metrics: anchor pit = 0 anchor ypos = 43 y1 = 0 y2 =
492 pit1 = -1 pit2 = 8
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3123): Strategy: FullScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (2719): metrics: anchor pit = 0 anchor ypos = 43
BufferView.cpp (2755): Metrics: anchor pit = 0 anchor ypos = 43 y1 = 0 y2 =
446 pit1 = -1 pit2 = 7
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3123): Strategy: FullScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3123): Strategy: FullScreenUpdate
TextMetrics.cpp (1938): main text redraw pit=0 row=0 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=1 row=0 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=2 row=0 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=2 row=1 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=2 row=2 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=3 row=0 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=3 row=1 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=3 row=2 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=4 row=0 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=4 row=1 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): inset text redraw: pit=0 row=0 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=5 row=0 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=5 row=1 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=5 row=2 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=6 row=0 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
TextMetrics.cpp (1938): main text redraw pit=6 row=1 row_selection=0
full_repaint=1 row_has_changed=1 null painter=0
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (455): BufferView::processUpdateFlags()[fitcursor = 1,
forceupdate = 0, singlepar = 0] buffer: 0x15391e660
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3093): Strategy: NoScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3093): Strategy: NoScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3093): Strategy: NoScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3093): Strategy: NoScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3093): Strategy: NoScreenUpdate
BufferView.cpp (3146):
*** END DRAWING ***
==========
etc ad infinitum
After resize of window:
==========
BufferView.cpp (3066): *** START DRAWING ***
BufferView.cpp (3123): Strategy: FullScreenUpdate
TextMetrics.cpp (1938): main text redraw pit=0 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=1 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=2 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=2 row=1 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=3 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=3 row=1 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=3 row=2 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=4 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=4 row=1 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): inset text redraw: pit=0 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=5 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=5 row=1 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=5 row=2 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=6 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=6 row=1 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=7 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=7 row=1 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=8 row=0 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
TextMetrics.cpp (1938): main text redraw pit=8 row=1 row_selection=0
full_repaint=1 row_has_changed=0 null painter=0
BufferView.cpp (3146):
*** END DRAWING ***
BufferView.cpp (3163): Found new anchor pit = 0 anchor ypos = 43
==========
Stephan
