diff i18n/posplit @ 18479:0efd5686f80c stable

bookmarks: show active bookmark even if not at working dir If the active bookmark doesn't point at a parent of the working dir (e.g. a pull moved it out from under us), we nonetheless show it as active. This follows on 2096e025a728 in removing the dichotomy (at least in the UI) between "current" and "active" bookmarks.
author Kevin Bullock <kbullock@ringworld.org>
date Sun, 27 Jan 2013 11:29:14 -0600
parents 4fd49329a1b5
children ff6ab0b2ebf7
line wrap: on
line diff