denemo-devel
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]