///
docstring screenLabel() const;
///
EDITABLE editable() const { return IS_EDITABLE; }
///
InsetCode lyxCode() const { return LABEL_CODE; }
///
docstring screenLabel() const;
///
EDITABLE editable() const { return IS_EDITABLE; }
///
InsetCode lyxCode() const { return LABEL_CODE; }