development/PAINTING_ANALYSIS

   1 # -*- org -*-
   2 Understanding the painting process
   3
   4 This file tries to describe the state of the metrics/painting
   5 mechanism, and identify the improvements that could be made. The first
   6 section can be read alone, although the context for them is really
   7 given in the following ones.
   8
   9 Please keep this file up to date as the code evolves!!!
  10
  11 Abbreviations:
  12 bv: BufferView
  13 pm: ParagraphMetrics
  14 tm::TextMetrics
  15
  16 * Questions / Ideas
  17
  18 These questions are consequences of the description made in the
  19 following section. Some actions are proposed.
  20
  21 ** SinglePar update
  22
  23 The flag Update::SinglePar is set in many places but never acted on.
  24 Instead, metrics update is skipped whenever the recorded height of
  25 current paragraph did not change and Update::Force was not specified.
  26 Is it better to keep that (which incurs extra work) or to condition it
  27 on Update::SinglePar? If the first solution is kept, the flag
  28 SingleParUpdate shall be removed.
  29
  30 Moreover, I fail to see (yet) where the 'single' part of the program
  31 is acted on.
  32
  33 ** Buffer::change issues
  34
  35 When calling Buffer::changed outside of bv::processUpdateFlags,
  36 how do we know that the update strategy is set correctly? It is
  37 possible to reset the strategy at the end of bv::draw. What would be
  38 a good value? NoScreenUpdate?
  39
  40 On a related note, what is the semantics of a call to
  41 Buffer::changed(false)? What does the caller mean?
  42
  43 ** How to avoid redraw with FitCursor when the cursor is already OK?
  44
  45 In this case, we invoke Buffer::change(false) with drawing disabled
  46 and NoScreenUpdate strategy.
  47
  48 In the draw phase, bv::checkCursorScrollOffset (the horizontal
  49 scrolling machinery) will change the strategy to FullScreenUpdate if
  50 the current row needs further scrolling.
  51
  52 When the update strategy it kept to NoScreenUpdate, there is currently
  53 a no-draw full repaint, which should not be necessary. It would be
  54 possible to avoid that if the call to checkCursorScrollOffset was done
  55 in bv::processUpdateFlags instead of bv::draw.
  56
  57 The global idea would be to extend FitCursor to cover also horizontal
  58 cursor.
  59
  60
  61 * Clean-up of drawing code
  62
  63 The goal is to make painting with drawing disable fast enough that it
  64 can be used after every metrics computation. Then we can separate real
  65 drawing from metrics.
  66
  67 Other changes are only clean-ups.
  68
  69 ** When a paragraph ends with a newline, compute correctly the height of the extra row.
  70 ** Rewrite TextMetrics::editXY, checkInsetHit using row information (getPosNearX)?
  71
  72    The helper version should return a Row::Element instead of an InsetTable.
  73
  74 ** Set inset position during metrics phase
  75
  76 In order to do that, a no-paint drawing will be initiated after every
  77 redoParagraph. This code path will need to be made as fast as possible.
  78
  79 Effect: avoid depending on actual drawing having taken place. In turn,
  80 it will allow to do drawing on paint events, like any reasonable
  81 application would do.
  82
  83 ** Cleanup after complete metrics
  84    Then the following can be done:
  85    + remove hack in InsetMathNest::drawSelection
  86    + remove painting when not inside in drawParagraph
  87    + remove Cursor::inCoordCache?
  88
  89 ** Paint directly to screen
  90
  91 Instead of using an intermediary pixmap. I have no idea of how
  92 difficult it will prove.
  93 One benefit will be that subpixel aliasing will work again (#9972)
  94
  95 ** Merging bv::updateMetrics and tm::metrics
  96
  97 While the full metrics computation tries hard to limit the number of
  98 paragraphs that are rebroken, the version that is used for inner inset
  99 does not try any such optimization. This can be very bad for very tall
 100 insets. We should re-use the bv::updateMetrics logic:
 101  + transfer all the logic of bv::updateMetrics to tm.
 102  + Main InsetText should not be special.
 103
 104 The difficuly for a tall table cell for example, is that it may be
 105 necessary to break the whole contents to know the width of the cell.
 106
 107
 108 * Description of current drawing mechanism
 109
 110 ** Two stage drawing
 111
 112 There are two parts to drawing the work area:
 113
 114  + the metrics phase computes the size of insets and breaks the
 115    paragraphs into rows. It stores the dimension of insets (both
 116    normal and math) in bv::coordCache.
 117
 118  + the drawing phase draws the contents and caches the inset
 119    positions. Since the caching of positions is useful in itself,
 120    there is a provision for drawing "without" drawing when the only
 121    thing we want is to cache inset positions
 122    (Painter::setDrawingEnabled).
 123
 124 The machinery is controlled via bv::processUpdateFlags. This method is
 125 called at the end of bv::mouseEventDispatch and in
 126 GuiApplication::dispatch, via the updateCurrentView method. There are
 127 also several calls in code related to dialogs. We should evaluate
 128 whether this is correct.
 129
 130 Depending on the Update::flags passed to the method, it sets an update
 131 strategy in (NoScreenUpdate, SingleParUpdate, FullScreenUpdate,
 132 DecorationUpdate). It triggers a recomputation of the metrics when either:
 133
 134  + Update::Force has been specified
 135  + Update::FitCursor has been specified and there is a need to scroll
 136    the display.
 137  + the current paragraph, after rebreak, does not have the same height as in
 138    existing metrics. Note that the Update::SinglePar flag is *never*
 139    taken into account.
 140
 141 The screen is drawn (with appropriate update strategy), except when
 142 update flag is Update::None.
 143
 144
 145 ** Metrics computation
 146
 147 This is triggered by bv::updateMetrics, which calls tm::redoParagraph for
 148 all visible paragraphs. Paragraphs above or below the screen (needed
 149 for page up/down) and computed as needed.
 150
 151 tm::redoParagraph will call Inset::metrics for each inset. In the case
 152 of text insets, this will invoke recursively tm::metrics, which redoes
 153 all the paragraphs of the inset.
 154
 155
 156 ** Drawing the work area.
 157
 158 This is done in bv::draw. This method is triggered mainly by
 159 Buffer::changed, which draws all the work areas that show the given buffer.
 160
 161 Note that, When Buffer::changed is called outside of
 162 bv::processUpdateFlags, it is not clear whether the update strategy
 163 has been set to a reasonable value beforehand.
 164
 165 The action depends on the update strategy:
 166
 167  + NoScreenUpdate: repaint the whole screen with drawing disabled.
 168    This is only needed to update the inset positions. I am not sure
 169    when this is necessary, actually. This is triggered when:
 170    - Update::FitCursor is set but the cursor is already visible. It is
 171      not clear why something needs to be done in this case, since this
 172      should be equivalent to Update::None.
 173    - this is also set when update flag is Update::None, but this value
 174      is AFAICS not acted on in the code (meaning that nothing happens
 175      at all in this case).
 176
 177  + FullScreenUpdate: repaint the whole screen. This is set when:
 178    - updateMetrics has been invoked.
 179    - scroll value of current row has changed (although this should not
 180      be necessary).
 181
 182  + DecorationUpdate: actually like FullScreenUpdate, although it is
 183    intended to only update inset decorations. This triggers when:
 184    - Update::Decoration is set (without Update::Force) as flag.
 185    - An hovered inset is detected.
 186
 187  + SingleParUpdate: only tries to repaint current paragraph in a way
 188    that is not yet very clear to me.