T0mstone b556dd6bfd 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-04-22 17:05:25 +02:00
..
src	Polish a few things (#81)	2021-04-22 17:05:25 +02:00
Cargo.toml	Add FSM and related tool plumbing (Fix #54) (#62)	2021-04-05 23:57:33 +01:00