On Wed, Dec 03, 2003 at 01:34:10PM +0000, John Levon wrote:
> On Wed, Dec 03, 2003 at 01:19:13PM +0100, Andre Poenitz wrote:
>
> > I guess we really need two operations here:
> > - insert nested style
> > - split current inset
>
> Please, please, let's not. We'd be introducing complex half-solutions
> to a problem of our own making.
This is a problem inherent to structured editing.
\foo{xxx\normal{nnn}xxx} _is_ different from \foo{xxx}nnn\foo{xxx}.
Any solution allowing just one of these is wrong.
> 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.
Andre'
--
Those who desire to give up Freedom in order to gain Security, will not have,
nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)
