On Sat, 17 Jan 2009 16:33:11 +0100, Enrico Tröger enrico.troeger@uvena.de wrote:
-4-This button and "in selection" should be invalid (greyed) whenever there is no 'scope' (module toplevel, meaning "in scope" = "in doc") or there is no selection.
Yes, this is a good idea (at least for selection).
No, it's not. As the whole dialog is non-modal by design, making it possible to change text, change the selection, change documents while the dialog is open, it doesn't make sense to disable the Selection button even if there is no selection.
It didn't hurt people in the past few years, so it probably also won't in the future :).
Regards, Enrico