mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sat, 4 Dec 2004, Karl Hegbloom wrote:
> On Fri, 2004-12-03 at 10:52 +0100, Joris van der Hoeven wrote:
> > Take a look at
> >
> >     Insert -> Special -> Move object
> >         Insert -> Special -> Resize object
> >
> > Best wishes, Joris
>
> Can you please provide more explicit instructions on how to use those?
> I tried 'resize' but can't figure out how to, for instance, make a ]
> taller.

What about

        F1 resize return
        click on prim-box.en.tm

<Joris>