+ std::string default_decimal_sep = "locale";
+ ///
+ Length::UNIT default_length_unit = Length::CM;
+ ///
+ enum ScrollWheelZoom {
+ SCROLL_WHEEL_ZOOM_OFF,
+ SCROLL_WHEEL_ZOOM_CTRL,
+ SCROLL_WHEEL_ZOOM_SHIFT,
+ SCROLL_WHEEL_ZOOM_ALT
+ };
+ ///
+ ScrollWheelZoom scroll_wheel_zoom = SCROLL_WHEEL_ZOOM_CTRL;
+ // FIXME: should be caret_width
+ ///
+ 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
+ };