[santra]

Mario and Lujo, thanks for the postings! I have sent another bug report. I'd either get this bug fixed, receive explanation for how it improves the UI, or get a decent workaround.