RC_DEFAULT_DECIMAL_POINT,
RC_DEFAULT_LENGTH_UNIT,
RC_DEFAULT_OTF_VIEW_FORMAT,
+ RC_DEFAULT_PLATEX_VIEW_FORMAT,
RC_DEFAULT_VIEW_FORMAT,
RC_DEFFILE,
RC_DIALOGS_ICONIFY_WITH_MAIN,
RC_USE_SYSTEM_COLORS,
RC_USE_TOOLTIP,
RC_USE_PIXMAP_CACHE,
- RC_USE_QIMAGE,
RC_USE_SYSTEM_THEME_ICONS,
RC_VIEWDVI_PAPEROPTION,
RC_VIEWER,
bool use_system_colors;
/// Use pixmap cache?
bool use_pixmap_cache;
- /// Use QImage backend?
- bool use_qimage;
/// Spellchecker engine: aspell, hunspell, etc
std::string spellchecker;
/// Alternate language for spellchecker
///
std::string default_otf_view_format;
///
+ std::string default_platex_view_format;
+ ///
std::string default_view_format;
/// all available viewers
Alternatives viewer_alternatives;