T0mstone 70f70b70fc Polish a few things (#81) ... * Implement/suppress various compiler/clippy lints * Change `tool_init` to take `ToolType` by value * Factor out error conversion into a function * Consume parameters with `todo` * Make `workspace` stuff public Making them public also removes the warnings without having to suppress them. Also, this commit removes the unused import of `EditorError` * Remove allow(unused_variables), use vars in `todo` Also implements `Debug` on `DocumentToolData`		2021-05-07 02:47:37 -07:00
..
cli	Add metadata (#45)	2021-03-27 11:16:05 +01:00
native	Rename project structure with /core and /client	2021-03-27 02:26:55 -07:00
web	Polish a few things (#81)	2021-05-07 02:47:37 -07:00