Comment (by spitz):

  Fixed for {{{GuiBox}}} at [14d3d7de458/lyxgit]. Please test, further
  adjustments might be needed. Observe how the code is much cleaner now.

Many thanks.

It works fine AFAICS.

regards Uwe

Reply via email to