diff options
| author | Neil <nyamatongwe@gmail.com> | 2022-02-02 14:25:51 +1100 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2022-02-02 14:25:51 +1100 |
| commit | fd2623102a9bad31258a0ef31ce6a2972ae6ddad (patch) | |
| tree | 621fa123bdab1e9f4ef94613c0fbf509f2ce36e3 /scripts | |
| parent | 53ca05457a1d7306defd98ee4a21eb18e6a9be8d (diff) | |
| download | scintilla-mirror-fd2623102a9bad31258a0ef31ce6a2972ae6ddad.tar.gz | |
Feature [feature-requests:#1427] Add multithreaded layout which improves
performance significantly for very wide lines.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/HeaderOrder.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt index 33beb4d7e..9001736ed 100644 --- a/scripts/HeaderOrder.txt +++ b/scripts/HeaderOrder.txt @@ -57,7 +57,10 @@ #include <sstream> #include <fstream> #include <iomanip> +#include <atomic> #include <mutex> +#include <thread> +#include <future> // GTK headers #include <glib.h> |