#include "CutAndPaste.h"
#include "DispatchResult.h"
#include "ErrorList.h"
-//#include "FuncRequest.h"
#include "Language.h"
#include "Layout.h"
#include "Lexer.h"
Font f = tm.displayFont(pit, pos);
f.update(font, language, toggleall);
setCharFont(pit, pos, f, tm.font_);
+ // font change may change language...
+ // spell checker has to know that
+ pars_[pit].requestSpellCheck(pos);
}
}