Improve typing speed

Improve the editor responsiveness while typing by:

• decreasing the number of tool bar updates (the updates should be delayed with a significant number of milliseconds); normally, just a single update needs to be executed, after the user finishes typing a text fragment
• decreasing the number of evaluations done at each update by using a cache; most of the evaluations are related to the current selection and are shared by multiple editor plugins