comparison hgeditor @ 7484:167853c7e54a

bookmarks: do not overwrite bookmarks.current if not necessary If we update to the ref that the bookmarks.current points to, we do not want to update bookmarks.current
author David Soria Parra <dsp@php.net>
date Sat, 06 Dec 2008 19:30:20 +0100
parents b5bbfa18daf7
children 43337076ba92
comparison
equal deleted inserted replaced
7483:187a13bd14c6 7484:167853c7e54a