Changeset c4a53280 in mainline for uspace/app/taskbar/types/wndlist.h

Timestamp:

2022-12-01T14:39:56Z (17 months ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

master, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

795c6f7

Parents:

68d68e9

git-author:

Jiri Svoboda <jiri@…> (2022-11-30 18:39:42)

git-committer:

Jiri Svoboda <jiri@…> (2022-12-01 14:39:56)

Message:

Optimize redrawing of window buttons

We cache the button pich inside wndlist_t. We only repaint the entire
window list if the pitch changes. Otherwise we just (un)paint the
affected buttons.

File:

• uspace/app/taskbar/types/wndlist.h (modified) (2 diffs)

uspace/app/taskbar/types/wndlist.h

@@ -57 +57 @@
         /** Window button */
         ui_pbutton_t *button;
+        /** Window button rectangle */
+        gfx_rect_t rect;
 } wndlist_entry_t;
 
@@ -76 +78 @@
         list_t entries;
 
+        /** Current button pitch */
+        gfx_coord_t pitch;
+
         /** Window management service */
         wndmgt_t *wndmgt;