view templates/static/hglogo.png @ 7550:fead6cf99a09

bookmarks: set the current bookmark to the new name if we rename the current bookmark If we rename the current bookmark, we have to set the current bookmark to the new name.
author David Soria Parra <dsp@php.net>
date Thu, 18 Dec 2008 10:51:11 +0100
parents 050e9da0df78
children
line wrap: on
line source

(binary:image/png)