RC_BIBTEX_ALTERNATIVES,
RC_BIBTEX_COMMAND,
RC_BINDFILE,
+ RC_BOOKMARKS_VISIBILITY,
RC_CHECKLASTFILES,
RC_CHKTEX_COMMAND,
RC_CITATION_SEARCH,
int defaultZoom = 150;
/// Actual zoom factor for screen fonts
/// (default zoom plus buffer zoom factor)
+ /// Do not set directly. Use GuiView::setCurrentZoom()
int currentZoom = 150;
/// Screen font sizes in points for each font size
std::string font_sizes[10] = { "5.0", "7.0", "8.0", "9.0", "10.0",
int cursor_width = 0;
/// One of: yes, no, ask
std::string close_buffer_with_last_view = "yes";
+ enum BookmarksVisibility {
+ BMK_NONE,
+ BMK_MARGIN,
+ BMK_INLINE
+ };
+
+ ///
+ BookmarksVisibility bookmarks_visibility = BMK_NONE;
};