Yuya Nishihara 42a044b7c7 cli: move ui.settings() to CommandHelper, disown UserSettings from Ui ... Still UserSettings is cloned to WorkspaceCommandHelper, but I think this is slightly better since CommandHelper and WorkspaceCommandHelper are scoped based on call stack. Perhaps, UserSettings can be shared by Arc or immutable reference.		2023-01-05 14:33:10 +09:00
..
main.rs	cli: move ui.settings() to CommandHelper, disown UserSettings from Ui	2023-01-05 14:33:10 +09:00