bug#13972: 24.3.50; Cannot delete bookmark

[Thierry Volpiatto]

Thierry Volpiatto <thierry.volpiatto@gmail.com> writes:

> Note: I think this bug affect also partially Emacs-24.3.
More exactly:
On 24.3 when one delete all remaining bookmarks, always one bookmark,
the last will not be deleted and impossible to delete without editing
bookmark file.

On 24.3.50 same problem + the problem related to
`bookmark-bmenu-use-header-line'.

The patch I sent is for Emacs-24.3.50 and btw fix both problems.
 
-- 
Thierry
Get my Gnupg key:
gpg --keyserver pgp.mit.edu --recv-keys 59F29997