diff options
| author | Zufu Liu <unknown> | 2021-09-14 11:54:02 +1000 |
|---|---|---|
| committer | Zufu Liu <unknown> | 2021-09-14 11:54:02 +1000 |
| commit | 8c847dde89ba002a8c54fd757ae16a43247c9bd0 (patch) | |
| tree | 3b4c342462a921305549f193bb0beb92c99746da /scripts | |
| parent | 4c33ed1eadb5aae24ca1752a82cf4045a32d8fe0 (diff) | |
| download | scintilla-mirror-8c847dde89ba002a8c54fd757ae16a43247c9bd0.tar.gz | |
Avoid some allocations when checking whether font monospaced.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/HeaderOrder.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt index c2b198ed3..a0954fcce 100644 --- a/scripts/HeaderOrder.txt +++ b/scripts/HeaderOrder.txt @@ -41,6 +41,7 @@ #include <string> #include <string_view> #include <vector> +#include <array> #include <map> #include <set> #include <forward_list> |