Stream: Beginner Questions

Topic: ✔ jedit not replacing symbols

Sophie Tourret (Nov 04 2022 at 11:56):

Thanks! That solved the issue.

Notification Bot (Nov 04 2022 at 11:56):

Sophie Tourret has marked this topic as resolved.

Last updated: Oct 19 2026 at 09:41 UTC