void write(WriteStream & os) const;
/// generate something that will be understood by the Dialogs.
InsetSpaceParams params() const;
///
bool hasSettings() const { return true; }
///
void write(WriteStream & os) const;
/// generate something that will be understood by the Dialogs.
InsetSpaceParams params() const;
///
bool hasSettings() const { return true; }
///