Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
labs:jedit [2017/03/15 16:06] – admin | labs:jedit [2022/01/24 20:04] (current) – admin | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== jEdit ====== | ====== jEdit ====== | ||
- | jEdit is a text editor that has nice syntax highlighting and let' | + | jEdit is a text editor that has nice syntax highlighting and lets you do a good bit of stuff. |
To run jEdit, type **'' | To run jEdit, type **'' |