BibEdit: holding pen integration and interface (E)
- Erratum: Whoops! The previous commit 8111fa8c1b9172a85e4271bd9a1d32e956e87209 should have been authored by Piotr Praczyk <piotr.praczyk@gmail.com>, not by me. Unfortunately it cannot be amended anymore. So I'm at least committing this message to explain the problem. Sorry about that.