|
|
8bc7af0d3f
|
Replace chrono dependency by time
|
2022-07-24 17:27:58 +02:00 |
|
|
|
4e014168b4
|
Add gc command to clean up vault
|
2022-07-24 00:19:02 +02:00 |
|
|
|
099cb8d4f7
|
Fix cursor placement in nick dialog
|
2022-07-23 23:45:42 +02:00 |
|
|
|
73cb568702
|
Fix not being able to close nick dialog
|
2022-07-23 23:45:01 +02:00 |
|
|
|
77c5b479aa
|
Add 'choose nick' dialog
|
2022-07-23 23:00:09 +02:00 |
|
|
|
7818855cb6
|
Restrict room connection dialog characters
|
2022-07-23 22:59:45 +02:00 |
|
|
|
8a8c50028f
|
Add padding to room connection dialog
|
2022-07-23 22:34:40 +02:00 |
|
|
|
ade3120134
|
Add helper functions for padding
|
2022-07-23 22:34:18 +02:00 |
|
|
|
a5757d4660
|
Fix editor cursor positioning
|
2022-07-23 22:25:14 +02:00 |
|
|
|
1e4bbc6eab
|
Fix infinite loop in H/VJoins without expanding sections
|
2022-07-23 22:10:08 +02:00 |
|
|
|
f1899ab295
|
Add inline editor for connecting to new rooms
|
2022-07-23 22:09:05 +02:00 |
|
|
|
709ab07442
|
Make List widget naming more consistent
|
2022-07-23 19:50:49 +02:00 |
|
|
|
5f28ff0ffd
|
Make editor a widget
|
2022-07-23 19:49:58 +02:00 |
|
|
|
38dd7ccede
|
Redraw occasionally when batching events
|
2022-07-21 20:28:06 +02:00 |
|
|
|
f1b7ef0b98
|
Keep room UI state when disconnecting
|
2022-07-21 17:32:49 +02:00 |
|
|
|
38f8c0ed66
|
Add Float widget
|
2022-07-21 17:20:35 +02:00 |
|
|
|
805d1a5e63
|
Ignore unused code warnings in widgets module
|
2022-07-21 15:50:21 +02:00 |
|
|
|
4fa4c9a897
|
Add Layer widget
|
2022-07-21 15:42:06 +02:00 |
|
|
|
a620fcf907
|
Add border around banner and nick list
|
2022-07-21 15:33:28 +02:00 |
|
|
|
91fa13354f
|
Add Padding widget
|
2022-07-21 15:21:59 +02:00 |
|
|
|
c2e2ee52e8
|
Add Border widget
|
2022-07-21 15:21:49 +02:00 |
|
|
|
613c57c1aa
|
Fix screen scrolling when cursor is at bottom
|
2022-07-20 23:55:02 +02:00 |
|
|
|
5210ad1eba
|
Fix rendering when resizing
|
2022-07-20 23:54:34 +02:00 |
|
|
|
15f628aaad
|
Decide that nick list should be variable width
|
2022-07-20 23:03:16 +02:00 |
|
|
|
3bbe52b797
|
Render entire UI using widgets
|
2022-07-20 22:56:00 +02:00 |
|
|
|
8b3166c6d7
|
Render room using only widgets
|
2022-07-20 22:43:03 +02:00 |
|
|
|
3e6b214e81
|
Add BoxedWidget type alias
|
2022-07-20 22:42:40 +02:00 |
|
|
|
54ed495491
|
Add HJoin and VJoin widgets
|
2022-07-20 22:05:15 +02:00 |
|
|
|
7a8a6d7418
|
Use new rule widgets in UI
|
2022-07-20 22:05:15 +02:00 |
|
|
|
32f1ad5aae
|
Add basic HRule and VRule widgets
|
2022-07-20 22:05:15 +02:00 |
|
|
|
78906ffd96
|
Placate some warnings
|
2022-07-20 20:49:02 +02:00 |
|
|
|
2b90815f65
|
Fix cursor movement not scrolling the messages
|
2022-07-20 20:47:28 +02:00 |
|
|
|
42c23d6745
|
Fix crash if no external editor is available
|
2022-07-20 20:38:50 +02:00 |
|
|
|
066ea0cb07
|
Port message sending
|
2022-07-20 20:37:54 +02:00 |
|
|
|
98f51a5a2e
|
Remove unused parameter
|
2022-07-20 17:36:39 +02:00 |
|
|
|
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 |
|