> the problem is what happens when width_str is empty. then no width_str[0] > exists and accessing it is asking for crash.
This string could not be empty because it was always filled by InsetCommandParams. The crash occurred after Abdel's transformation of GuiLine to InsetWidgets which doesn't support default values at inserting an inset (it at least seems so).
regards Uwe
