comparison templates/filerevision.tmpl @ 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 7f58dec6aeb7
children
comparison
equal deleted inserted replaced
7489:9b64589b1112 7550:fead6cf99a09