34e7af684b
Hook up simple cursor movement
2022-07-20 17:34:32 +02:00
48943f2316
Port most of cursor movement logic
2022-07-20 14:07:02 +02:00
4cf0d861db
Clean up
2022-07-20 08:43:00 +02:00
a97c838474
Fix messages scrolling up on re-render
2022-07-19 23:31:12 +02:00
26b07d6c57
Fix indent rendering
...
I forgot that I used a box drawing character and not a '|' character to
render the indent.
2022-07-19 21:52:07 +02:00
e707525240
Fix bottom thread repeating indefinitely
2022-07-19 21:50:53 +02:00
3af1193869
Port rendering logic
2022-07-19 21:47:40 +02:00
583c82148f
Determine some constants based on others
2022-07-19 21:24:11 +02:00
7da5ba04a5
Implement remaining layouting logic
2022-07-19 21:23:47 +02:00
3a814fb960
Remove obsolete functions
2022-07-19 18:09:50 +02:00
47aa99bb26
Port majority of layouting logic
2022-07-19 18:09:30 +02:00
e7cd0568e9
Add constructors for different types of blocks
2022-07-19 17:05:54 +02:00
d638ba2887
Get last possible Msg id
2022-07-19 17:04:44 +02:00
2beb44a17c
Structure tree widget state around cursors
2022-07-19 09:51:58 +02:00
4f4cae070a
Store first and last root in Blocks
2022-07-19 09:51:10 +02:00
21d908874d
Adapt blocks to include markers
2022-07-15 11:10:19 +02:00
26e988114c
Start restructuring chat as widget
2022-07-15 11:10:19 +02:00
2ee64c11be
Update dependencies
2022-07-15 00:20:04 +02:00
eb2b8e818c
Bundle sqlite
2022-07-14 21:52:18 +02:00
ee7316f65b
Fix rendering of scrolled lists
2022-07-14 14:05:27 +02:00
9169cbb657
Fix warnings
2022-07-13 15:29:31 +02:00
cc3fbaf968
Print info while exporting logs
2022-07-13 14:48:37 +02:00
f527c46dde
Fix scrolling when nick list is visible
2022-07-13 11:44:44 +02:00
9aed0a3cee
Use frame stack instead of explicit pos and size parameters
2022-07-13 11:34:52 +02:00
44470b973d
Remove unused function
2022-07-12 21:55:29 +02:00
2f60b0390e
Use widgets for List rows instead of Styleds
2022-07-12 21:55:29 +02:00
204eb95fa5
Add Empty widget
2022-07-12 21:42:21 +02:00
d2c4d2b029
Add Background widget
2022-07-12 21:42:09 +02:00
8eda1ad97d
Box widgets
...
This way, widgets containing other widgets can be heterogenous. Wenever
a widget is expeted, *any* widget will work.
2022-07-12 21:10:03 +02:00
dea0384162
Use List widget for nick list
2022-07-12 19:29:50 +02:00
da6bab4b13
Use List widget in rooms view
2022-07-12 19:29:50 +02:00
82049aedc0
Add List widget
2022-07-12 19:29:50 +02:00
0a91f2077d
Update toss
...
The latest toss commit includes a width function that runs directly on a
&Styled. This avoids using &styled.text(), which unnecessarily allocates
a new string. Probably premature optimization, but nicer to use
nontheless.
2022-07-12 19:18:52 +02:00
d3229370f3
Consume widget during rendering
2022-07-12 19:18:52 +02:00
53a0f8d4af
Add Text widget
2022-07-12 09:27:16 +02:00
f08f653bfc
Begin the widgetization
2022-07-11 23:30:16 +02:00
717ac4c47a
Sort nick list alphabetically
2022-07-10 13:45:01 +02:00
e188a99f2a
Implement simple single-line editor
2022-07-08 11:28:43 +02:00
cd320b3678
Improve export format slightly
...
- Use [...] instead of ... as placeholder
- Fix indentation on multiline messages
2022-07-08 00:06:02 +02:00
0ccf788d7b
Add option to export plain text room logs
2022-07-07 03:41:44 +02:00
02d3b067b8
Show informative prefixes in nick list
...
~ = logged into an account
* = is host (supercedes ~)
! = is staff (supercedes *)
> = is current session
2022-07-06 19:34:30 +02:00
39560f1fc5
Show amount of rooms in room list
2022-07-06 11:33:57 +02:00
e1585bfe30
Update dependencies
2022-07-06 11:23:34 +02:00
9f9f68466a
Don't always render list cursor
2022-07-06 10:18:31 +02:00
a03971c019
Remove unused code
2022-07-06 10:18:00 +02:00
47d67022f0
Fix chat rendering over room status
2022-07-06 10:12:29 +02:00
2a710ab727
Render nick list with generic list
2022-07-06 10:10:05 +02:00
4effe38c1d
Increase ping and reply timeout
...
While downloading logs for &music, the server would repeatedly time out
on ws pings because it took too much time responding to the log
commands. This change makes reconnects less likely at the cost of not
noticing them as quickly.
2022-07-05 20:49:36 +02:00
9b3ea00d1b
Use longer time format
2022-07-05 20:49:07 +02:00
4712798bf5
Stay connected if room requires auth
...
Even though authentication is not possible yet
2022-07-05 20:18:40 +02:00
