diff options
author | G.raud <graud@gmx.com> | 2018-02-02 14:39:33 +0100 |
---|---|---|
committer | G.raud <graud@gmx.com> | 2018-02-02 20:10:09 +0100 |
commit | 36a0003398d0c9da160f248216d27e0576040466 (patch) | |
tree | 74237f748162547835e5d50fa5c2564679a0c0b8 | |
parent | 03a2c202f1176be9ed15890b6aa38100fcdcefc6 (diff) | |
download | unison-36a0003398d0c9da160f248216d27e0576040466.zip unison-36a0003398d0c9da160f248216d27e0576040466.tar.gz unison-36a0003398d0c9da160f248216d27e0576040466.tar.bz2 |
Uitext: new action "revert" (as in Uigtk2)
-rw-r--r-- | src/uitext.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index be5e8bb..3ae04bb 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -333,6 +333,11 @@ let interact prilist rilist = ("next"), (fun () -> newLine(); next())); + (["r"], + ("revert to " ^ Uutil.myName ^ "'s default recommendation"), + (fun () -> + Recon.revertToDefaultDirection ri; redisplayri(); + next())); (["I"], ("ignore this path permanently"), (fun () -> newLine(); |