007493f136
Derive more traits for widgets
2023-04-08 15:40:14 +02:00
77e72de9ad
Make Layer* more like Join*
2023-04-08 15:21:51 +02:00
88e66e17ec
Add Predrawn widget
2023-04-06 03:00:37 +02:00
ea6be7bf32
Simplify editor cursor handling and rendering
2023-04-06 00:18:56 +02:00
542ea7bc66
Simplify Join* implementation
2023-02-26 14:57:34 +01:00
0573fcec77
Only provide WidthDb in [Async]Widget::size
2023-02-26 14:42:48 +01:00
417f33cc24
Differentiate between growing and shrinking segments
...
Also uses the new with_* naming scheme for segments
2023-02-20 16:57:35 +01:00
607c11fea4
Use new with_* naming scheme
...
All builder-like functions are now named with_*. There is also now a way
to set each property imperatively with only a mutable reference.
The only widgets I haven't yet converted to this style are the Join*
widgets; they're a bit harder to figure out an appropriate API for.
2023-02-20 15:53:49 +01:00
cb483431cc
Make widget submodules public
...
This will make the generated documentation more readable once I add
module docstrings. I'm still reexporting the module contents to keep
imports nice and tidy.
2023-02-19 14:24:28 +01:00
397d3a6eac
Add Editor widget
2023-02-19 14:18:45 +01:00
783e57a9ab
Allow join segments to be fixed
...
I'm not sure if this is a good abstraction, or if I should instead
re-think the algorithm.
2023-02-19 02:31:58 +01:00
8f155dc6a2
Fix join widgets not handling large sizes
2023-02-19 02:09:41 +01:00
b1c276ec38
Fix panic with zero-weighted segments
2023-02-19 02:02:27 +01:00
a8876e94f3
Make default background style opaque
2023-02-18 21:24:51 +01:00
bdc1549268
Create Join[HV]{2,7} via macros
2023-02-18 20:56:36 +01:00
204540f375
Create Either{2,7} via macros
2023-02-18 20:56:10 +01:00
b27cb81642
Add Resize widget
2023-02-18 20:24:56 +01:00
ba716dd089
Fix examples not measuring widths immediately
2023-02-18 20:13:47 +01:00
3fb3a7b92b
Fix sizing bug
...
The available space was updated while removing elements, but the check
for the next element expected the old value.
2023-02-18 19:40:33 +01:00
42d22e2a49
Fix typo
2023-02-18 19:06:22 +01:00
d449c61f27
Add JoinH2, JoinH3, JoinV2, JoinV3
2023-02-18 19:06:22 +01:00
f581fa6c47
Add JoinH and JoinV
2023-02-18 19:06:18 +01:00
828bba464a
Add Either3 widget
2023-02-18 19:00:18 +01:00
15e30dfdb2
Implement join widget spacing algorithm
2023-02-18 18:20:55 +01:00
e666d5c092
Ensure Float position is in range 0.0..=1.0
2023-02-18 14:07:25 +01:00
caca3b6ef1
Derive Debug, Clone, Copy for widgets
2023-02-18 14:07:03 +01:00
f25ce49e77
Rename Layer parts
2023-02-18 02:49:52 +01:00
95a01d5fc8
Add Either widget
2023-02-17 21:27:46 +01:00
8834bb6d9d
Add more Float functions
2023-02-17 21:26:00 +01:00
7c3277a822
Add Layer widget
2023-02-17 21:26:00 +01:00
72b44fb3fc
Add back optional Terminal::measuring_required
2023-02-17 20:25:23 +01:00
ba6ee45110
Don't measure widths while presenting
2023-02-17 18:59:32 +01:00
fae12a4b9f
Improve coords documentation
2023-02-17 15:04:56 +01:00
b2d87543d7
Improve Terminal documentation
2023-02-17 14:58:21 +01:00
ac2546ba97
Add Terminal::{present_widget, present_async_widget}
2023-02-17 14:00:46 +01:00
ed14ea9023
Measure automatically in Terminal::present
2023-02-17 13:59:16 +01:00
e3365fdc02
Improve WidthDb documentation
2023-02-17 13:35:28 +01:00
2dee39c03c
Add Cursor widget
2023-02-17 12:13:56 +01:00
5a15838989
Fix Float sizing for unset directions
2023-02-17 00:15:46 +01:00
845d88c93f
Make widget example look slightly less horrible
2023-02-16 23:37:16 +01:00
c689d97974
Write transparent Style to Buffer correctly
2023-02-16 23:37:16 +01:00
9ff8007cae
Switch usages of ContentStyle to Style
2023-02-16 21:24:52 +01:00
4c304ffe79
Add own Style type
2023-02-16 21:11:51 +01:00
67f703cf68
Extract Pos and Size to separate file
2023-02-16 21:10:48 +01:00
eb36bfa2ea
Fix code blocks in docstrings
2023-02-16 20:40:20 +01:00
3f7e985b3f
Add Background widget
2023-02-16 16:26:47 +01:00
b327dee3c3
Remove unnecessary AsyncWidgetExt trait
2023-02-16 16:12:50 +01:00
47df35d9db
Add Empty widget
2023-02-16 16:07:05 +01:00
575faf9bbf
Add Float widget
2023-02-16 15:13:23 +01:00
bcc07dc9ba
Add WidgetExt and AsyncWidgetExt traits
2023-02-16 15:12:33 +01:00
