Editing Gedit
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 1: | Line 1: | ||
Gedit is the Gnome text editor. There's many plugins and options that may be able to improve your experience while coding with octave. | |||
== Syntax Highlighting == | == Syntax Highlighting == | ||
Line 10: | Line 10: | ||
Β <property name="line-comment-start">#</property> | Β <property name="line-comment-start">#</property> | ||
== Embedded Terminal == | == Embedded Terminal == |