[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Denemo-devel] [bug #50397] Movement Indent should allow delete option
From: |
Richard Shann |
Subject: |
[Denemo-devel] [bug #50397] Movement Indent should allow delete option |
Date: |
Sat, 25 Feb 2017 04:51:09 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Firefox/38.0 Iceweasel/38.4.0 |
Update of bug #50397 (project denemo):
Status: None => Fixed
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
This is now fixed. I noticed it generated the indent directive with a tag
differing from the command name, I've fixed this too. It means old movement
indents can't be edited with this command, but as they couldn't be deleted
this is probably a benefit - the new setting will hide the old.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?50397>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/