mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2025-02-05 19:14:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10
jj/examples/custom-backend
History
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