Element: graphic_window.double_buffering
Element: graphic_window.double_bufferingnumeric
Whether graphic drawing in graphic_window is to be double buffered.
This element has a value of 1 when double buffering is enabled, and 0 when double buffering is not enabled.
Without double buffering the window is cleared before its contents, i.e. entity graphics, get redrawn. This can be irritating to some users as the window tends to "flash" while the window is cleared, but it has the advantage that entity graphics can be seen during the redraw process.
Double buffering the output computes the new image off-screen before displaying it when complete. This gives the effect of a smooth transition but is not always desirable as some complex graphics require time-consuming repaints.
When double buffering is enabled it uses window "save under" facilities. Therefore window.save_under is set unless it was already set.
Turning this value on will perform an immediate repaint of the window.
|
Commands: |
|
|
Structures: |