658
edits
Changes
Jump to navigation
Jump to search
mLine 1:
Line 1: − + Line 10:
Line 10: −
add link for gedit page
Gedit is the Gnome text editor. There's many plugins and options that may be able to improve your experience while coding with octave.
[http://projects.gnome.org/gedit/ Gedit] is the Gnome text editor. There are many plugins and options that may be able to improve your coding experience.
== syntax highlight ==
== syntax highlight ==
<property name="line-comment-start">#</property>
<property name="line-comment-start">#</property>
== Embedded Terminal ==
== Embedded Terminal ==