On Mon, May 07, 2007 at 10:14:04PM +0300, Micha Feigin wrote:
> Ok, I made a patch, hope that it is the correct solution, if so then it's a
> one
> liner
> Didn't know where to send it to
>
> Index: src/insets/InsetBox.cpp
> ===================================================================
> --- src/insets/InsetBox.cpp (revision 18217)
> +++ src/insets/InsetBox.cpp (working copy)
> @@ -344,7 +344,7 @@
> // FIXME UNICODE
> os << '[' <<
> from_ascii(params_.height.asLatexString())
> << ']';
> - } else {
> + } else if (~params_.height.zero()) {
Better !params_.height.zero() ?
Andre'
