///
int defaultColSpace(col_type) { return 0; }
///
- int displayColSpace(col_type col) const;\r
- ///\r
+ int displayColSpace(col_type col) const;
+ ///
char defaultColAlign(col_type);
///
- char displayColAlign(idx_type idx) const;\r
- ///\r
+ char displayColAlign(idx_type idx) const;
+ ///
InsetCode lyxCode() const { return MATH_SPLIT_CODE; }
private: