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

Updated Useful Extensions (markdown)

omar 2022-06-27 17:18:07 +02:00
parent c1ab7d9a59
commit d424853c25
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Useful-Extensions.md

@ -1,3 +1,5 @@
_(wiki editors: the images on this page are 500x250 pixels. please try to keep new images the same size)_
## Index ## Index
- [Text Editors](#text-editors) - [Text Editors](#text-editors)
@ -21,8 +23,6 @@
- [Miscellaneous](#miscellaneous) - [Miscellaneous](#miscellaneous)
- [Third Party Repos](#third-party-repos) - [Third Party Repos](#third-party-repos)
_(wiki editors: if you add new images, please make them 500x250)_
# Text Editors # Text Editors
**ImGuiColorTextEdit**: Colorizing text editor for Dear ImGui (2017-2019) **ImGuiColorTextEdit**: Colorizing text editor for Dear ImGui (2017-2019)