Navy.gif/imgui
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated Useful Extensions (markdown)

omar 2022-11-24 13:07:58 +01:00
parent 2127e6fa20
commit 50f34b0eb4
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Useful-Extensions.md

@ -3,6 +3,7 @@ _(wiki editors: the images on this page are 500x250 pixels. please try to keep n
## Index ## Index
- [Automation / Testing](#automation--testing)
- [Text Editors](#text-editors) - [Text Editors](#text-editors)
- [Node Editors](#node-editors) - [Node Editors](#node-editors)
- [Plotting, Graph](#plotting-graph) - [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) - [Miscellaneous](#miscellaneous)
- [Third Party Repos](#third-party-repos) - [Third Party Repos](#third-party-repos)
# Text Editors # Text Editors
**ImGuiColorTextEdit**: Colorizing text editor for Dear ImGui (2017-2019) **ImGuiColorTextEdit**: Colorizing text editor for Dear ImGui (2017-2019)