#include "ui_PDFSupportUi.h"
#include "ui_ModulesUi.h"
#include "ui_OutputUi.h"
+#include "ui_ListingsSettingsUi.h"
#include <list>
#include <map>
void romanChanged(int);
void sansChanged(int);
void ttChanged(int);
+ void setIndent(int);
+ void enableIndent(bool);
void setSkip(int);
void enableSkip(bool);
void portraitChanged();
UiWidget<Ui::PDFSupportUi> *pdfSupportModule;
UiWidget<Ui::ModulesUi> *modulesModule;
UiWidget<Ui::OutputUi> *outputModule;
+ UiWidget<Ui::ListingsSettingsUi> *listingsModule;
PreambleModule * preambleModule;
GuiBranches * branchesModule;