From 2a401cb0e929d51b6320510ff56be440df1950fb Mon Sep 17 00:00:00 2001 From: katauber Date: Fri, 4 Aug 2023 06:54:27 +0000 Subject: [PATCH] Add newly generated html files by GitHub Actions. --- ide-extensions/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ide-extensions/index.html b/ide-extensions/index.html index c585624..df15761 100644 --- a/ide-extensions/index.html +++ b/ide-extensions/index.html @@ -57,12 +57,12 @@

Setup a VS Code / Codium extension

Usage

Flux

-

After installing the IDE extension to VS Code / Codium open a Flux file, for example this one. It should look like this:

+

After installing the IDE extension to VS Code / Codium open a Flux file, for example this one. It should look like this:

Flux editor

If you delete for example a necessary bracket you will see in the Problems section that the extension detects problems with the Flux file:

Flux editor with problems

Fix

-

After installing the IDE extension to VS Code / Codium open a Flux file, for example this one. It should look like this:

+

After installing the IDE extension to VS Code / Codium open a Flux file, for example this one. It should look like this:

Fix editor

If you remove a closing end you will see in the Problems section that the extension detects the missing end:

Fix editor with problems