Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
labs:jedit [2016/02/03 00:17] – admin | labs:jedit [2017/03/15 16:06] – admin | ||
---|---|---|---|
Line 3: | Line 3: | ||
jEdit is a text editor that has nice syntax highlighting and let's you do a good bit of stuff. | jEdit is a text editor that has nice syntax highlighting and let's you do a good bit of stuff. | ||
- | To run jEdit, type '' | + | To run jEdit, type **'' |