First patch - Delete dive(s) using the delete key

[Dirk Hohndel]

On Fri, Feb 06, 2015 at 03:41:18PM -0800, Steve wrote:
> >>
> >> This patch allows the user to delete dives using the delete key.
> >
> > Excellent.
> 
>| Really? This seems like a recipe for mistakes and easy data loss.
>| 
>| If I read the patch right, there's no confirmation etc, so now just
>| mistakenly pressing the Del key will delete dives. That sounds like a
>| fairly easy way for somebody to fatfinger things and lose data.
>
> Do we need an undo stack so the user can undo the last few actions?

That is indeed the plan. And Grace and I and others have discussed this on
IRC. It's coming.

/D