From 50f34b0eb41da2f566d504460a7ee742679bc799 Mon Sep 17 00:00:00 2001 From: omar Date: Thu, 24 Nov 2022 13:07:58 +0100 Subject: [PATCH] Updated Useful Extensions (markdown) --- Useful-Extensions.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Useful-Extensions.md b/Useful-Extensions.md index f0c0296..ff79977 100644 --- a/Useful-Extensions.md +++ b/Useful-Extensions.md @@ -3,6 +3,7 @@ _(wiki editors: the images on this page are 500x250 pixels. please try to keep n ## Index +- [Automation / Testing](#automation--testing) - [Text Editors](#text-editors) - [Node Editors](#node-editors) - [Plotting, Graph](#plotting-graph) @@ -26,6 +27,7 @@ _(wiki editors: the images on this page are 500x250 pixels. please try to keep n - [Miscellaneous](#miscellaneous) - [Third Party Repos](#third-party-repos) + # Text Editors **ImGuiColorTextEdit**: Colorizing text editor for Dear ImGui (2017-2019)