From 926cb6f7d228b347db16a45e1f2632da475da1f0 Mon Sep 17 00:00:00 2001 From: Neil Date: Sun, 31 Jul 2022 15:51:53 +1000 Subject: Added change history which can display document changes (modified, saved, ...) in the margin or in the text. --- scripts/HeaderOrder.txt | 1 + 1 file changed, 1 insertion(+) (limited to 'scripts') diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt index 9001736ed..b47057e7b 100644 --- a/scripts/HeaderOrder.txt +++ b/scripts/HeaderOrder.txt @@ -119,6 +119,7 @@ #include "RunStyles.h" #include "SparseVector.h" #include "ContractionState.h" +#include "ChangeHistory.h" #include "CellBuffer.h" #include "PerLine.h" #include "CallTip.h" -- cgit v1.2.3