|
|
00bcdddc62
|
Enable some warnings
|
2022-08-02 02:17:37 +02:00 |
|
|
|
c11325aa8b
|
Move cursor so it is visible when scrolling
|
2022-08-01 01:18:28 +02:00 |
|
|
|
ae8ec70e5e
|
Layout using new algorithm and new blocks
|
2022-07-31 20:03:14 +02:00 |
|
|
|
422641ddf0
|
Add focus range to Block
|
2022-07-28 12:57:01 +02:00 |
|
|
|
aa25def749
|
Add new more general widget-based Blocks
|
2022-07-27 10:20:18 +02:00 |
|
