|
|
d08f858692
|
[client] Make websocket connection closing more robust
|
2020-02-12 13:04:47 +00:00 |
|
|
|
5e7f90c6d5
|
[server] Rename tree module files
|
2020-02-12 11:34:25 +00:00 |
|
|
|
3656483bc8
|
[server] Add very simple animation module
I mostly used this module for testing the partial tree updates.
|
2020-02-12 11:07:12 +00:00 |
|
|
|
b2b34d551a
|
[server] Send partial updates when possible
|
2020-02-12 10:58:39 +00:00 |
|
|
|
45a6d1934e
|
[server] Fix typo
|
2020-02-12 00:38:35 +00:00 |
|
|
|
6d6344d372
|
[server] Add ForkModule for combining other modules
This one has some interesting code in its constructor, using the Cont monad
because of the way the ModuleConstructor is structured.
|
2020-02-12 00:38:29 +00:00 |
|
|
|
d5d0fccdaf
|
[server] Improve readability of project description
|
2020-02-11 18:04:07 +00:00 |
|
|
|
7709fc92a9
|
[server] Write better project description
|
2020-02-11 17:37:38 +00:00 |
|
|
|
f101ecdbb4
|
[client] Adjust padding
|
2020-02-11 17:35:55 +00:00 |
|
|
|
a546ce0334
|
Fix order of nodes in client
|
2020-02-11 17:35:55 +00:00 |
|
|
|
ae28d79b46
|
Scroll so editor cursor is always visible
This took a bit to figure out. Also, this is the only point in this project
where I use lenses.
|
2020-02-11 12:59:36 +00:00 |
|
|
|
70bbc3a69a
|
Scroll so focused element is always visible
|
2020-02-11 12:14:51 +00:00 |
|
|
|
9f507b5b9e
|
Add help to command line parser
|
2020-02-11 12:14:25 +00:00 |
|
|
|
1dfce4a93d
|
Wrap node text in client
|
2020-02-11 11:48:10 +00:00 |
|
|
|
4c24430c07
|
Display custom node in ConstModule
Also wrote a short introductory node explaining node permissions.
|
2020-02-11 11:48:10 +00:00 |
|
|
|
29e19ec1b2
|
Add very basic logging to client
|
2020-02-11 11:38:28 +00:00 |
|
|
|
92f4804b40
|
Allow all actions on ConstModule node
|
2020-02-10 23:49:46 +00:00 |
|
|
|
70e3386cb5
|
Implement client actions properly
|
2020-02-10 23:49:34 +00:00 |
|
|
|
5902421872
|
Add very basic logging to server
|
2020-02-10 23:48:44 +00:00 |
|
|
|
fb6cfdefd7
|
Add ConstModule loading delay
|
2020-02-10 23:14:25 +00:00 |
|
|
|
5e7c2952a1
|
Hook up WS connection to client UI
|
2020-02-10 23:14:20 +00:00 |
|
|
|
9f5d1c5684
|
Parse client command line options
|
2020-02-10 23:07:55 +00:00 |
|
|
|
fc35f3bf64
|
Receive and interpret node updates
|
2020-02-10 01:42:02 +00:00 |
|
|
|
c3dafbaf63
|
Remove example tree
|
2020-02-10 01:40:32 +00:00 |
|
|
|
efd33ff05e
|
Implement replacing subnodes via path
|
2020-02-09 22:43:03 +00:00 |
|
|
|
db1287aff3
|
Clean up editor key handling
Now, newlines can be inserted via C-n.
|
2020-02-09 22:40:14 +00:00 |
|
|
|
62874a6d3f
|
Remove debugging UI
|
2020-02-09 22:34:21 +00:00 |
|
|
|
e0e23367c8
|
Allow multiline editing
Also adds editor key bindings for the home and end keys
|
2020-02-09 21:49:37 +00:00 |
|
|
|
817b0a34c4
|
Make editor always start at the end of the first line
|
2020-02-09 21:21:41 +00:00 |
|
|
|
769bd02658
|
Toggle editing and replying to messages
|
2020-02-09 21:20:45 +00:00 |
|
|
|
235620d8c1
|
Fix widget tree
This fix took way too long. Something like this shouldn't be that difficult, but
it apparently is. :/
|
2020-02-09 21:19:28 +00:00 |
|
|
|
5d132b91c5
|
Restructure client application
|
2020-02-09 20:05:14 +00:00 |
|
|
|
3ee771e536
|
Resize and rearrange tree and debug boxes
|
2020-02-09 19:28:32 +00:00 |
|
|
|
3d2ae02479
|
Clean up tree walking code even further
(I missed the simplest approach and now I feel bad ^^)
|
2020-02-09 19:11:05 +00:00 |
|
|
|
d35dc20c9a
|
Remove placeholder file
|
2020-02-09 16:31:57 +00:00 |
|
|
|
ee1346143d
|
Clean up tree walking code
|
2020-02-09 16:09:51 +00:00 |
|
|
|
51a63b9d5b
|
Fix tree walking code
|
2020-02-09 15:51:34 +00:00 |
|
|
|
4706033c32
|
Add longer example node
|
2020-02-09 15:51:34 +00:00 |
|
|
|
49d0c8039e
|
Display all node flags
|
2020-02-09 14:07:06 +00:00 |
|
|
|
31e59616f5
|
Make debug display look better :P
|
2020-02-09 12:08:48 +00:00 |
|
|
|
573a835022
|
Prevent unfolding of nodes without children
|
2020-02-09 11:44:25 +00:00 |
|
|
|
909d587c53
|
Add test interactions for moving and folding
|
2020-02-09 11:29:44 +00:00 |
|
|
|
19a4350cb6
|
Respect folding when rendering nodes
|
2020-02-09 11:29:28 +00:00 |
|
|
|
3255bfd2ec
|
Implement tree functions
|
2020-02-09 11:29:19 +00:00 |
|
|
|
54ec7afa59
|
Add attribute map and fix drawing
|
2020-02-09 10:02:47 +00:00 |
|
|
|
6036ff4c77
|
Render nodes using new WidgetTree
|
2020-02-09 09:48:21 +00:00 |
|
|
|
4c63b96ae5
|
Implement tree rendering
|
2020-02-09 09:29:45 +00:00 |
|
|
|
fcd722a836
|
Use box drawing character for indentation
|
2020-02-08 23:38:29 +00:00 |
|
|
|
8fb3ab19c8
|
Display example node
|
2020-02-08 23:33:25 +00:00 |
|
|
|
ff2dc3e783
|
Separate Node-related stuff from Api module
|
2020-02-08 23:26:21 +00:00 |
|
