mirror of
https://github.com/martinvonz/jj.git
synced 2024-12-31 16:40:22 +00:00
d7911ff279
I'm going to remove owned UserSettings from Ui so that UserSettings can be instantiated after both user and repo configs are loaded. ui.cwd() belongs to the same category (random environment stuff), and Ui doesn't depend on it, so let's remove it first from Ui. I'm not pretty sure if CommandHelper and WorkspaceCommandHelper should be a permanent home for cwd and settings, but it works for now as CommandHelper is immutable. |
||
---|---|---|
.. | ||
main.rs |