You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ImGuiColorTextEdit is a quite useful colorizing text editor for ImGui. Unfortunately, it is not actively maintained, although the last version works superbly, and is easy to patch!
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
ImGuiColorTextEdit is a quite useful colorizing text editor for ImGui. Unfortunately, it is not actively maintained, although the last version works superbly, and is easy to patch!
Python bindings
The python bindings API is extremely simple to understand.
Example usage
Fork
ImGui Bundle uses a fork of ImGuiColorTextEdit on the imgui_bundle branch.
This fork groups several modifications done in other forks, and adds limited syntactic support for Python.
Full diff
Beta Was this translation helpful? Give feedback.
All reactions