From e087566a9412a41fad3ab913df432d8583fe3838 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Fri, 29 Apr 2022 14:53:09 +0200
Subject: [PATCH] [ivette] Unfolding everything by default
---
ivette/src/frama-c/kernel/ASTview.tsx | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 46085ef7d6b..32ff894a1f5 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -315,10 +315,7 @@ export default function ASTview(): JSX.Element {
const unfoldAll = (): void => buffer.forEach(CodeMirror.commands.unfoldAll);
const defaultFold = React.useCallback((): void => {
- buffer.forEach((cm) => {
- CodeMirror.commands.foldAll(cm);
- cm.foldCode(0, undefined, 'unfold');
- });
+ buffer.forEach((cm) => { CodeMirror.commands.unfoldAll(cm); });
}, [buffer]);
React.useEffect(() => {
--
GitLab