> 6. Whoever wrote the code had left the project and no one understands the
> interaction between tree splitters and box scrollbars
Partly this and partly
7. No one knows the answer off the top of the head, and investigating this
would take a good deal of time.
The best way to keep the issue from being forgotten about is to file a bug on
the layout engine (probably on General for now). cc me on the bug when you
file it, please.
Boris
--
God does not play dice with the universe: he plays an
ineffable game of his own devising, which might be
compared, from the perspective of any of the other
players, to being involved in an obscure and complex
version of poker in a pitch-dark room, with blank
cards, for infinite stakes, with a dealer who won't
tell you the rules, and who smiles all the time.
-- Good Omens: The Nice and Accurate Prophecies of
Agnes Nutter, Witch, by Neil Gaiman and Terry Pratchett
