On Wed, Dec 03, 2003 at 02:51:23PM +0100, Andre Poenitz wrote:
> This is a problem inherent to structured editing.
>
> \foo{xxx\normal{nnn}xxx} _is_ different from \foo{xxx}nnn\foo{xxx}.
That depends upon the surrounding context. I do not see a difference
between:
\normal{\foo{xxx\normal{nnn}xxx}}
and
\normal{\foo{xxx}nnn\foo{xxx}}
But, nonetheless, a non-inset-based UI can still handle both via a
"Reset" or "Default" option.
> > I'd much rather leave the current char style stuff as it is, more or
> > less, until such a time we can code the proper UI
>
> I'd consider 'splitting' as part of a proper UI. In fact, I seem to
> remember this was one of your arguments against fonts-as-insets in
> mathed some time ago.
Yes. But currently we have insets visible in the UI. What we should have
is simple: select some text, choose an LCS to apply to it (perhaps
"Reset") and there you are, you're done. Edit->Text_Style->Emphasis
on the selection.
How would this work with the current inset approach ?
The UI should be just like users can currently set text colour or size
now, except with LCS instead.
(Please note I am not talking about *implementation* at all here, only
the presented UI).
regards
john
--
Khendon's Law:
If the same point is made twice by the same person, the thread is over.
