void ttChanged(int);
void fontOsfToggled(bool state);
void fontScToggled(bool state);
- void dashesToggled(bool state);
void setIndent(int);
void enableIndent(bool);
void setSkip(int);
void enableSkip(bool);
+ void allowMathIndent();
+ void enableMathIndent(int);
void browseLayout();
void browseMaster();
void classChanged();