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_PRINTLANDSCAPEFLAG,
RC_PRINTPAPERDIMENSIONFLAG,
RC_PRINTPAPERFLAG,
+ RC_PYGMENTIZE_COMMAND,
RC_SAVE_COMPRESSED,
RC_SAVE_ORIGIN,
RC_SCREEN_DPI,
RC_USE_CONVERTER_CACHE,
RC_USE_CONVERTER_NEEDAUTH_FORBIDDEN,
RC_USE_CONVERTER_NEEDAUTH,
+ RC_USE_NATIVE_FILEDIALOG,
RC_USE_SYSTEM_COLORS,
RC_USE_TOOLTIP,
RC_USE_PIXMAP_CACHE,
std::string splitindex_command;
/// command to run makeindex incl. options for nomencl
std::string nomencl_command;
+ /// command to run the python pygments syntax highlighter
+ std::string pygmentize_command;
///
std::string document_path;
///
bool allow_geometry_session;
/// Scrolling speed of the mouse wheel
double mouse_wheel_speed;
- /// Zoom factor for screen fonts
- int zoom;
- /// Current zoom factor for screen fonts
+ /// Default zoom factor for screen fonts
+ int defaultZoom;
+ /// Actual zoom factor for screen fonts
+ /// (default zoom plus buffer zoom factor)
int currentZoom;
/// Screen font sizes in points for each font size
std::string font_sizes[10];
bool use_tooltip;
/// Use the colors from current system theme?
bool use_system_colors;
+ /// use native file dialog or our own ?
+ bool use_native_filedialog;
/// Use pixmap cache?
bool use_pixmap_cache;
/// Use QImage backend?
///
std::string default_otf_view_format;
///
+ std::string default_platex_view_format;
+ ///
std::string default_view_format;
/// all available viewers
Alternatives viewer_alternatives;