diff hgeditor @ 33491:1adcb594eb6b

bookmarks: use 'applychanges' for bookmark update There is still some use of 'deletedivergent' bookmark here. They will be taken care of later. The 'deletedivergent' code needs some rework before fitting in the new world.
author Boris Feld <boris.feld@octobus.net>
date Mon, 10 Jul 2017 19:40:23 +0200
parents 1aee2ab0f902
children
line wrap: on
line diff