|
From: | Philip Nienhuis |
Subject: | [Octave-bug-tracker] [bug #49182] Comment character in GUI editor should be configurable |
Date: | Tue, 27 Sep 2016 16:29:17 +0000 (UTC) |
User-agent: | Mozilla/5.0 (Windows NT 6.1; WOW64; rv:43.0) Gecko/20100101 Firefox/43.0 SeaMonkey/2.40 |
Follow-up Comment #3, bug #49182 (project octave): I slightly agree with Rik, yet I can't imagine having to press <Ctrl>-r twice to be a big deal ;-) _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?49182> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |