On Thu, Sep 19, 2002 at 02:22:15PM +0200, Andre Poenitz wrote:
> The only "solution" that can be implemented using the current approach is
> having four layouts
>
> "Single-paragraph theorem"
> "Multi-paragraph theorem, first par"
> "Multi-paragraph theorem, middle par"
> "Multi-paragraph theorem, last par"
>
> And that's certainly Not Nice(tm).
>
> Do you know any other?
"Start new theorem" or "Insert theorem break". That was after 2 seconds
of thought I'm sure there is a better way ...
> [This is btw the typical situation with the "conventional approach": You
> get almost everything working, with a quite bit of effort a few cases more
> hacked in somehow, but the remaining things are technically impossible]
I'd rather have this than have 99% of the thing unusable to benefit some
theoretical "correctness" yardstick that nobody but the developers care
about. Sure, the theroem problem is a bad one. But I don't see why we
have ANY requirement to make "all that is legal is permissible" - we
already have ERT for power users needing to do something really weird.
> Why? Have you tried it?
If you can solve the major UI flaws with it (that is, so it is
essentially transparent to the user) then I'd have no qualms with
however it's implemented.
> We are more or less implementing it in small steps now anyway to solve
> "issues". ERT has gone inset, and this was Good. Minipage support has
> emerged - as insets. Tables are using "insets" nowadays etc.
This is hardly the same thing. And the table UI is a PITA at least
partly due to the use of insets (still better than what was before, but
that's by the by)
> I wonder why we are discussing these things right now anyway. I was not
> suggesting moving outer world font changes to insets recently and the math
> font stuff is in since 1.3cvs was opened.
Maybe we all wanted a good old flamewar
john
--
"Please crack down on the Chinaman's friends and Hitler's commander. Mother is
the best bet and don't let Satan draw you too fast. A boy has never wept ...
nor dashed a thousand kim. Did you hear me?"
- Dutch Schultz
