|
393c4d4515
|
layout: add helper for cached/external values to centralize recomputation
|
2023-11-15 14:20:50 +01:00 |
|
|
65066c7064
|
layout: wip cache global mins
|
2023-11-15 13:28:30 +01:00 |
|
|
df24bb806d
|
layout/sync: fix bugs and add tracing
|
2023-11-11 12:44:27 +01:00 |
|
|
ce89d1ddab
|
table sync: adapt to new layout history
|
2023-11-11 12:08:32 +01:00 |
|
|
df36cf3099
|
layout: add helpers to LayoutHistory and prepare integration with Table
|
2023-11-09 16:32:31 +01:00 |
|
|
9d95f6f704
|
layout: fix tracker bugs
|
2023-11-09 15:52:45 +01:00 |
|
|
03ebf18830
|
layout: begin managing the update tracker values
|
2023-11-09 15:31:59 +01:00 |
|
|
94caf9c0c1
|
layout: separate code path for synchronizing update trackers only
|
2023-11-09 14:53:34 +01:00 |
|
|
bfb1845fdc
|
layout: refactor to use a RwLock on LayoutHistory
|
2023-11-09 14:12:05 +01:00 |
|
|
19ef1ec8e7
|
layout: more refactoring
|
2023-11-09 13:34:14 +01:00 |
|
|
8a2b1dd422
|
wip: split out layout management from System into separate LayoutManager
|
2023-11-09 12:55:36 +01:00 |
|