|
| From: | Felipe G. Nievinski |
| Subject: | [Octave-bug-tracker] [bug #41223] GUI Editor could offer indenting/de-indenting of current line/selection |
| Date: | Mon, 13 Jan 2014 18:43:41 +0000 |
| User-agent: | Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/32.0.1700.72 Safari/537.36 |
URL:
<http://savannah.gnu.org/bugs/?41223>
Summary: GUI Editor could offer indenting/de-indenting of
current line/selection
Project: GNU Octave
Submitted by: fgnievinski
Submitted on: Mon 13 Jan 2014 06:43:40 PM GMT
Category: GUI
Severity: 3 - Normal
Priority: 5 - Normal
Item Group: Feature Request
Status: None
Assigned to: None
Originator Name:
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Release: dev
Operating System: Any
_______________________________________________________
Details:
in the Edit menu
maybe also right-clicking on line/selection
or "insert/remove indentation"?
or "increase/decrease indentation level"?
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?41223>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |