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",
/// Accept compound words in spellchecker?
bool spellchecker_accept_compound = false;
/// spellcheck continuously?
- bool spellcheck_continuously = false;
+ bool spellcheck_continuously = true;
/// spellcheck notes and comments?
bool spellcheck_notes = true;
- /// minimum length of words to complete
- unsigned int completion_minlength = 6;
///
bool use_kbmap = false;
///
bool completion_inline_text = false;
///
int completion_inline_dots = -1;
+ /// minimum length of words to complete
+ unsigned int completion_minlength = 6;
///
double completion_popup_delay = 2.0;
///
};
///
ScrollWheelZoom scroll_wheel_zoom = SCROLL_WHEEL_ZOOM_CTRL;
+ // FIXME: should be caret_width
///
- int cursor_width = 1;
+ int cursor_width = 0;
/// One of: yes, no, ask
std::string close_buffer_with_last_view = "yes";
};