From d424853c258b3ba55a9e1406d93d5ece1e6af5ab Mon Sep 17 00:00:00 2001 From: omar Date: Mon, 27 Jun 2022 17:18:07 +0200 Subject: [PATCH] Updated Useful Extensions (markdown) --- Useful-Extensions.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Useful-Extensions.md b/Useful-Extensions.md index 2750a45..82d3539 100644 --- a/Useful-Extensions.md +++ b/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 - [Text Editors](#text-editors) @@ -21,8 +23,6 @@ - [Miscellaneous](#miscellaneous) - [Third Party Repos](#third-party-repos) -_(wiki editors: if you add new images, please make them 500x250)_ - # Text Editors **ImGuiColorTextEdit**: Colorizing text editor for Dear ImGui (2017-2019)