title: How to make a tkinter GUI faster?
body: <p>everybody,</p>
  
  <p>i am currently working on a GUI with tkinter, which consists of a text widget that is supposed to act as an XML code editor. I use tagging to color mark certain keywords like xml tags, but unfortunately this operation is very slow and you can see that the gui thread takes a lot of time to highlight everything. Is there a way to speed this up (e.g. multiple threads that change the gui or something similar)? Or is there a GUI framework that allows to build more responsive guis?</p>