|
6fe50416b5
|
index view: replace range() with area()
|
2021-01-16 13:57:53 +01:00 |
|
|
9c21ddbda1
|
separate modules for index, sequence & singleton
|
2021-01-12 23:09:46 +01:00 |
|
|
c574bf6ad2
|
move GridView & GridOffset into separate grid module
|
2021-01-12 22:40:15 +01:00 |
|
|
5007fdea3c
|
make Observer::reset() mutable
use RwLock in ObserverBroadcast
|
2021-01-11 01:18:32 +01:00 |
|
|
86562614cc
|
refactoring
|
2021-01-09 01:45:17 +01:00 |
|
|
2a79b2753c
|
fix warnings
|
2020-12-09 17:56:33 +01:00 |
|
|
4a29d7a5cf
|
add TerminalCompositor
and some nice utilities for ports
|
2020-12-09 17:31:08 +01:00 |
|