Differences

This shows you the differences between two versions of the page.

--- labs:jedit [2017/03/15 16:06] – admin
+++ labs:jedit [2022/01/24 20:04] (current) – admin
@@ Line 1: / Line 1: @@
 ====== jEdit ======
-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 lets you do a good bit of stuff.
 To run jEdit, type **''jedit''** from the shell (Linux terminal).