diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2019-07-18 16:47:28 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2019-07-18 16:47:28 -0700 |
| commit | 4a6bdb6fe471b3024b2ca1d977ef02bfd94cc12a (patch) | |
| tree | d65165e20f7c190a3d8a3e1b377bacf877a790a1 /tools | |
| parent | d12e1a8d74ebb8d5d32ab0de47d3097e80c5d4fd (diff) | |
Track a dirty area for in-memory bitmaps
This fixes the bug that bitmap changes do not cause screen updates
and optimizes the refresh when the bitmap is simply shown on the
screen. If the bitmap is used in tiles, then changing it will
cause all TileGrids using it to do a full refresh.
Fixes #1981
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gen_display_resources.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/gen_display_resources.py b/tools/gen_display_resources.py index 2c674c8eb..9707b210c 100644 --- a/tools/gen_display_resources.py +++ b/tools/gen_display_resources.py @@ -122,6 +122,7 @@ displayio_tilegrid_t supervisor_terminal_text_grid = {{ .pixel_width = {1}, .pixel_height = {2}, .bitmap_width_in_tiles = {0}, + .tiles_in_bitmap = {0}, .width_in_tiles = 1, .height_in_tiles = 1, .tile_width = {1}, @@ -150,7 +151,7 @@ c_file.write("""\ """) c_file.write("""\ -const displayio_bitmap_t supervisor_terminal_font_bitmap = {{ +displayio_bitmap_t supervisor_terminal_font_bitmap = {{ .base = {{.type = &displayio_bitmap_type }}, .width = {}, .height = {}, |