# # patch "ui.ml" # from [401c2a161d4e5304ad43276c34d4592fdddbb60c] # to [993ceff439efadcd68bd16487fe25a9b60650b8f] # --- ui.ml +++ ui.ml @@ -70,7 +70,7 @@ add "Certs" ~label:"Display certs" ; add "Diff_one" ~label:"Diff with ancestor" ; add "Diff_many" ~label:"Diff with ancestor" ; - add "Diff_other" ~label:"Diff with other node" ; + add "Diff_other" ~label:"Diff with selected node" ; add "Copy_revision" ~label:"Copy revision id to the clipboard" ; add "Copy_manifest" ~label:"Copy manifest id to the clipboard" ] ; let g_view = GAction.action_group ~name:"view" () in