In the current system, the rendering is done once the input stream has stopped. That implies that, while typing, the rendered text is not updated.
This can be annoying for users that would like to check in real time the resulting format, and have otherwise to stop every now and then to do it, disrupting the flow of the writing.
I think it could be great to have an option to choose the frequency of the render: There could be the choice of setting it like Default (current frequency), Instant (at every input character, or so) or On Demand (on user demand, keystroke). This would allow for a better suitability to every use case.
In the current system, the rendering is done once the input stream has stopped. That implies that, while typing, the rendered text is not updated.
This can be annoying for users that would like to check in real time the resulting format, and have otherwise to stop every now and then to do it, disrupting the flow of the writing.
I think it could be great to have an option to choose the frequency of the render: There could be the choice of setting it like Default (current frequency), Instant (at every input character, or so) or On Demand (on user demand, keystroke). This would allow for a better suitability to every use case.