Andreas Kling 9b13a3905b LibGUI: Support multiple GTextEditors editing the same GTextDocument ...

With this patch, you can now assign the same GTextDocument to multiple
GTextEditor widgets via GTextEditor::set_document().

The editors have independent cursors and selection, but all changes
are shared, and immediately propagate to all editors.

This is very unoptimized and will do lots of unnecessary invalidation,
especially line re-wrapping and repainting over and over again.

2019-10-27 19:36:59 +01:00

49 KiB

Raw Blame History

View Raw