Henry Sloan 06c26f44d0 Options bar widgets for tools to control tool behavior (#283) ... * Add JSON-backed options widget * Add initial tool settings messaging to backend * Add shape side selection with JSON deserialization * Enforce minimum number of n-gon sides * Make tool settings JSON errors safer * Make tool settings JSON errors safer * Refactor ToolOptions to ToolSettings * Revert "Refactor ToolOptions to ToolSettings" This reverts commit 651161fd16. * Refactor all instances of "settings" to "options" * Fix names and formatting * Rearrange ToolOptions data to enforce types		2021-07-21 01:07:48 -04:00
..
cli	Remove CLI client stub	2021-07-15 03:44:57 -07:00
native	Rename project structure with /core and /client	2021-03-27 02:26:55 -07:00
web	Options bar widgets for tools to control tool behavior (#283)	2021-07-21 01:07:48 -04:00