updated lumen (ktexteditor plugin)