Commit graph

Select branches

Hide pull requests

master

server-only

Mono Color

• 3f8057490f Commit unstaged changes master Joscha 2020-06-19 13:51:59 +00:00
• a3ed8012b2 [web] Fix editor line sometimes not being curved Joscha 2020-03-20 21:18:39 +00:00
• 53b4b2c9a0 [tui] Clean up and add more key bindings Joscha 2020-03-20 00:25:39 +00:00
• c2b4a23542 [tui] Clean up the UI state Joscha 2020-03-19 21:38:41 +00:00
• 68b1129a49 [common] Clean up node module and add some useful functions Joscha 2020-03-19 19:07:53 +00:00
• 60c61974fb [tui] Move cursor to newly created nodes Joscha 2020-03-19 00:44:40 +00:00
• 54795b81ac [web] Connect to server Joscha 2020-03-18 18:08:04 +00:00
• 78235ef7cf [cabin] Parse command-line options Joscha 2020-03-18 17:04:04 +00:00
• 63a36d8a71 [server] Extract shared editing logic into a branch Joscha 2020-03-17 20:29:18 +00:00
• aa074d181b [server] Rename "graft" to "draw" Joscha 2020-03-15 22:29:45 +00:00
• 83406dff10 [server] Reimplement collaborative editing Joscha 2020-03-15 22:23:26 +00:00
• a2d392bc4d [server] Remove old tree modules Joscha 2020-03-15 14:55:39 +00:00
• f6a281fee1 [server] Add schema for tree-like node structures Joscha 2020-03-15 14:29:58 +00:00
• cdfe515df6 [server] Add new structure for server applications Joscha 2020-03-15 00:59:18 +00:00
• 04b8bd7445 [all] Include summary of subprojects in readme Joscha 2020-03-14 01:47:41 +00:00
• 56373a0748 [stack] Update resolver to lts-15.3 Joscha 2020-03-14 01:08:18 +00:00
• f8fd5b3c3e [web] Move web client to this repo Joscha 2020-03-14 01:05:33 +00:00
• 4b8d0ee4a4 [all] Reorganize haskell code into multiple packages Joscha 2020-03-14 01:02:57 +00:00
• 0edc241149 [client] Adjust editor to look like web client text boxes Joscha 2020-03-14 00:04:37 +00:00
• d58f1e4fef [client] Fix rendering of nodes containing empty strings Joscha 2020-02-28 19:35:42 +00:00
• 041f117df8 [client] Allow choosing the attribute name for the indentation text Joscha 2020-02-28 19:21:37 +00:00
• 0d01e4792d [client] Remove microlens dependency Joscha 2020-02-28 19:01:37 +00:00
• 50e78cfed3 [client] Use the correct function for the job Joscha 2020-02-28 18:30:05 +00:00
• ab8c764329 [client] Align node permissions to the right Joscha 2020-02-27 15:06:03 +00:00
• 22974d96a7 [server] Move server-related files into their own subdirectory Joscha 2020-02-26 08:47:08 +00:00
• a2c2c4487b [client] Improve cursor behaviour when elements are deleted Joscha 2020-02-26 08:34:19 +00:00
• 922488a836 [client] Remove client server-only Joscha 2020-02-18 10:23:54 +00:00
• 9fa804f87f [stack] Update resolver Joscha 2020-02-24 13:27:39 +00:00
• 657adad7e5 [client] Improve reply interactions Joscha 2020-02-24 12:30:47 +00:00
• 901a1c4bce [client] Grey out tree lines Joscha 2020-02-24 00:20:37 +00:00
• 6359555db6 [client] Add key bindings to help text Joscha 2020-02-20 00:39:53 +00:00
• e6958e11cb [client] Only send packets when the corresponding permission is set Joscha 2020-02-19 23:48:21 +00:00
• ec61c4d092 [client] Unfold a node when replying to it Joscha 2020-02-19 23:45:54 +00:00
• 1fd476e585 [client] Fix initial editor contents Joscha 2020-02-19 23:37:36 +00:00
• 385ec894ef [client] Fix rendering of editor Joscha 2020-02-19 23:37:22 +00:00
• 661c233ce1 [client] Fix cursor becoming invisible Joscha 2020-02-19 23:36:14 +00:00
• e8b6efcb76 [client] Rewrite client structure Joscha 2020-02-19 23:06:28 +00:00
• bd06b64699 [docs] Add back inital root node in server hello packet Joscha 2020-02-18 12:13:29 +00:00
• f2e77b7c03 [server] Implement shared editing module Joscha 2020-02-18 00:43:30 +00:00
• e917893a9b [server] Print exceptions encountered during a connection Joscha 2020-02-18 00:42:57 +00:00
• af8305bfac [client] Print exceptions encountered while UI is running Joscha 2020-02-18 00:42:30 +00:00
• 8c233ae4e0 [server] Fix fork module Joscha 2020-02-18 00:41:19 +00:00
• d2c6efd6c4 [server] Implement API changes Joscha 2020-02-17 23:34:02 +00:00
• 964b13739a [server] Add ordered map Joscha 2020-02-17 22:26:52 +00:00
• 4d06e48a82 [docs] Switch to map of child nodes plus display order Joscha 2020-02-16 23:32:33 +00:00
• a50338a028 [docs] Add link to status code section of websocket RFC Joscha 2020-02-15 14:26:14 +00:00
• 8bf783b85a [docs] Add API documentation Joscha 2020-02-15 14:20:06 +00:00
• 2a2b148046 [server] Add return value to tree modules Joscha 2020-02-13 23:38:26 +00:00
• 220b5a3234 [server] Adjust TreeModule structure Joscha 2020-02-13 23:12:28 +00:00
• d08f858692 [client] Make websocket connection closing more robust Joscha 2020-02-12 13:04:47 +00:00
• 5e7f90c6d5 [server] Rename tree module files Joscha 2020-02-12 11:34:25 +00:00
• 3656483bc8 [server] Add very simple animation module Joscha 2020-02-12 11:07:12 +00:00
• b2b34d551a [server] Send partial updates when possible Joscha 2020-02-12 10:58:39 +00:00
• 45a6d1934e [server] Fix typo Joscha 2020-02-12 00:37:39 +00:00
• 6d6344d372 [server] Add ForkModule for combining other modules Joscha 2020-02-12 00:35:49 +00:00
• d5d0fccdaf [server] Improve readability of project description Joscha 2020-02-11 18:04:07 +00:00
• 7709fc92a9 [server] Write better project description Joscha 2020-02-11 16:46:09 +00:00
• f101ecdbb4 [client] Adjust padding Joscha 2020-02-11 16:44:57 +00:00
• a546ce0334 Fix order of nodes in client Joscha 2020-02-11 16:44:31 +00:00
• ae28d79b46 Scroll so editor cursor is always visible Joscha 2020-02-11 12:59:36 +00:00
• 70bbc3a69a Scroll so focused element is always visible Joscha 2020-02-11 12:14:51 +00:00
• 9f507b5b9e Add help to command line parser Joscha 2020-02-11 12:14:25 +00:00
• 1dfce4a93d Wrap node text in client Joscha 2020-02-11 11:44:08 +00:00
• 4c24430c07 Display custom node in ConstModule Joscha 2020-02-11 11:43:25 +00:00
• 29e19ec1b2 Add very basic logging to client Joscha 2020-02-11 11:38:28 +00:00
• 92f4804b40 Allow all actions on ConstModule node Joscha 2020-02-10 23:49:46 +00:00
• 70e3386cb5 Implement client actions properly Joscha 2020-02-10 23:49:34 +00:00
• 5902421872 Add very basic logging to server Joscha 2020-02-10 23:48:44 +00:00
• fb6cfdefd7 Add ConstModule loading delay Joscha 2020-02-10 23:14:25 +00:00
• 5e7c2952a1 Hook up WS connection to client UI Joscha 2020-02-10 23:09:13 +00:00
• 9f5d1c5684 Parse client command line options Joscha 2020-02-10 23:07:55 +00:00
• fc35f3bf64 Receive and interpret node updates Joscha 2020-02-10 01:41:26 +00:00
• c3dafbaf63 Remove example tree Joscha 2020-02-10 01:39:58 +00:00
• efd33ff05e Implement replacing subnodes via path Joscha 2020-02-09 22:43:03 +00:00
• db1287aff3 Clean up editor key handling Joscha 2020-02-09 22:40:14 +00:00
• 62874a6d3f Remove debugging UI Joscha 2020-02-09 22:34:21 +00:00
• e0e23367c8 Allow multiline editing Joscha 2020-02-09 21:49:01 +00:00
• 817b0a34c4 Make editor always start at the end of the first line Joscha 2020-02-09 21:20:52 +00:00
• 769bd02658 Toggle editing and replying to messages Joscha 2020-02-09 21:20:16 +00:00
• 235620d8c1 Fix widget tree Joscha 2020-02-09 21:19:28 +00:00
• 5d132b91c5 Restructure client application Joscha 2020-02-09 20:05:14 +00:00
• 3ee771e536 Resize and rearrange tree and debug boxes Joscha 2020-02-09 19:28:32 +00:00
• 3d2ae02479 Clean up tree walking code even further Joscha 2020-02-09 19:11:05 +00:00
• d35dc20c9a Remove placeholder file Joscha 2020-02-09 16:31:57 +00:00
• ee1346143d Clean up tree walking code Joscha 2020-02-09 16:00:29 +00:00
• 51a63b9d5b Fix tree walking code Joscha 2020-02-09 15:51:10 +00:00
• 4706033c32 Add longer example node Joscha 2020-02-09 15:50:35 +00:00
• 49d0c8039e Display all node flags Joscha 2020-02-09 14:07:06 +00:00
• 31e59616f5 Make debug display look better :P Joscha 2020-02-09 12:08:48 +00:00
• 573a835022 Prevent unfolding of nodes without children Joscha 2020-02-09 11:44:25 +00:00
• 909d587c53 Add test interactions for moving and folding Joscha 2020-02-09 11:29:44 +00:00
• 19a4350cb6 Respect folding when rendering nodes Joscha 2020-02-09 11:29:28 +00:00
• 3255bfd2ec Implement tree functions Joscha 2020-02-09 11:29:19 +00:00
• 54ec7afa59 Add attribute map and fix drawing Joscha 2020-02-09 10:01:46 +00:00
• 6036ff4c77 Render nodes using new WidgetTree Joscha 2020-02-09 09:48:21 +00:00
• 4c63b96ae5 Implement tree rendering Joscha 2020-02-09 09:27:19 +00:00
• fcd722a836 Use box drawing character for indentation Joscha 2020-02-08 23:38:29 +00:00
• 8fb3ab19c8 Display example node Joscha 2020-02-08 23:33:25 +00:00
• ff2dc3e783 Separate Node-related stuff from Api module Joscha 2020-02-08 23:26:21 +00:00
• 72e66a55f6 Add very basic client main Joscha 2020-02-08 23:12:36 +00:00