 Stanislav Denisov
|
95059d4fc3
|
Implement persistence for the profiler window's size (#1568)
|
2026-02-26 15:35:05 +01:00 |
|
|
Stanislav Denisov
|
d022decb17
|
Add editor options to disable rounded corners and gradients (#1239)
* Add editor options to disable rounded corners and gradients
* Use checkbox states to get editor option values
|
2025-10-13 16:40:22 +02:00 |
|
 Turánszki János
|
1c38d93304
|
Editor gui v2 (#843)
|
2024-05-17 08:04:05 +02:00 |
|
|
Turánszki János
|
7a98632309
|
Profiler graph, editor updates (#608)
|
2022-12-16 19:50:21 +01:00 |
|