*/
virtual int text(int x, int y, docstring const & str, FontInfo const & f) = 0;
*/
virtual int text(int x, int y, docstring const & str, FontInfo const & f) = 0;
- void setDrawingEnabled(bool drawing_enabled = true)
+ void setDrawingEnabled(bool drawing_enabled)
{ drawing_enabled_ = drawing_enabled; }
/// Indicate wether real screen drawing shall be done or not.
{ drawing_enabled_ = drawing_enabled; }
/// Indicate wether real screen drawing shall be done or not.
vector<LanguagePair> const getLanguageData(bool character_dlg)
{
vector<LanguagePair> const getLanguageData(bool character_dlg)
{
- size_t const size = languages.size() + character_dlg ? 2 : 0;
+ size_t const size = languages.size() + (character_dlg ? 2 : 0);
vector<LanguagePair> langs(size);
vector<LanguagePair> langs(size);