Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
labs:jedit [2016/02/03 00:17] – 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 **'' |