On Thu, Apr 21, 2005 at 02:22:26PM +0200, Helge Hafting wrote:
> Because of minipage trouble, I tried to create
> one using ERT instead.
>
> The minipage is supposed to go around a heading with big text.
> The first oddity I noticed was that the red text itself were
> set in a very big font. Is
On Thu, Apr 21, 2005 at 02:38:19PM +0200, Georg Baum wrote:
> Helge Hafting wrote:
>
> > Because of minipage trouble, I tried to create
> > one using ERT instead.
>
> I know the reason for the minipage problem, a patch will follow soon.
>
> > The minipage is supposed to go around a heading with
On 21.04.05, Helge Hafting wrote:
> ... Seems to me there is little point in setting the ERT text in a
> special font, especially considering that the current approach only
> goes halfway. The ERT text got bigger, but it was still red and still
> in its special font.
However, this font change
On Thu, Apr 21, 2005 at 03:18:39PM +0200, Georg Baum wrote:
> Jean-Marc Lasgouttes wrote:
>
> >> "Georg" == Georg Baum
> >> <[EMAIL PROTECTED]>
> >> writes:
> >
> > Georg> This is not intentional and may be related to Martins recent
> > Georg> font changes. To Martin: The ERT inset is
> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
>> Are we sure? I guess that people who use inlined ERT in paragraphs
>> would disagree with you. Think using the \LaTeX macro in a text (of
>> course, this one is not needed, but you see what I mean).
Georg> As long as the ERT inset never
Jean-Marc Lasgouttes wrote:
>> "Georg" == Georg Baum
>> <[EMAIL PROTECTED]>
>> writes:
>
> Georg> This is not intentional and may be related to Martins recent
> Georg> font changes. To Martin: The ERT inset is not allowed to have a
> Georg> nondefault font, i.e. it must not inherit th
> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
>> The minipage is supposed to go around a heading with big text. The
>> first oddity I noticed was that the red text itself were set in a
>> very big font. Is that really intentional? It is kind of hard if
>> one needs lots of code in the ER
Helge Hafting wrote:
> Because of minipage trouble, I tried to create
> one using ERT instead.
I know the reason for the minipage problem, a patch will follow soon.
> The minipage is supposed to go around a heading with big text.
> The first oddity I noticed was that the red text itself were
> s
Because of minipage trouble, I tried to create
one using ERT instead.
The minipage is supposed to go around a heading with big text.
The first oddity I noticed was that the red text itself were
set in a very big font. Is that really intentional? It
is kind of hard if one needs lots of code in th
