[Octave-bug-tracker] [bug #49182] Comment character in GUI editor should be configurable

[Hartmut]

Follow-up Comment #4, bug #49182 (project octave):

I would like to opt for the coice between "%" and "#" in this case (no "##"),
because it feels more like FREEDOM.

Reasoning: 
* The "##" for line comments is in the Octave coding guideline, i.e. something
you should follow in order to CONTRIBUTE to the Octave SOURCE CODE. But there
are probably many more people around, who use Octave, but do not contribute to
its source code.
* Any number of "#" is officially allowed by the Octave LANGUAGE (and any
number of "%" as well).
* If the GUI editor would insist on "##" instead of "#", then we would keep
people who are using "#" for this purpose  from using the Ctrl+R
shortcut.(Just imaging you remove many #s with Shift-Ctrl-R, and when you try
to restore them with Ctrl-R then use realise that this is "forbidden" by the
editor. Not so nice a feeling, no freedom.)
* On the other side, if the GUI editor uses "#", then anyone who wants "##"
instead, can still press Ctrl+R twice.

Just my penny.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?49182>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/