|
|
0f319e7ca4
|
Remove capacity from JsonDocument's constructor
|
2023-07-18 09:08:55 +02:00 |
|
|
|
42b2840009
|
Create more memory pools as needed (resolves #1074)
|
2023-07-18 09:08:55 +02:00 |
|
|
|
c4e5051a7a
|
Store index of slot in the pool instead of a pointer or a distance
|
2023-07-17 11:20:46 +02:00 |
|
|
|
d90b36c009
|
Extract VariantPool from ResourceManager
|
2023-06-18 10:14:39 +02:00 |
|
|
|
8147625921
|
ResourceManager: replace allocFromPool() with allocVariant()
|
2023-06-18 10:14:39 +02:00 |
|
|
|
4871380060
|
Rename MemoryPool to ResourceManager
|
2023-06-18 10:14:39 +02:00 |
|
