bugGNU TeXmacs - Bugs: bug #47441, Cannot remove include with...

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #47441: Cannot remove include with backspace

Submitter:  Punto Di Rosso <puntodirosso>
Submitted:  Thu 17 Mar 2016 10:29:25 AM UTC
   
 
Category:  Editor Priority:  2 - Very low
Item Group:  Error Status:  Confirmed
Privacy:  Public Assigned to:  vdhoeven
Originator Name:  Open/Closed:  Closed
Release:  None Release: 
Fixed Release:  None Fixed Release: 
Keywords: 

Fri 23 Jun 2017 02:05:01 PM UTC, comment #2: 

Fixed.

Joris van der Hoeven <vdhoeven>
Group administrator
Sat 18 Mar 2017 11:39:15 AM UTC, comment #1: 

Yeah, most empty tags get removed by pressing del or backspace, but not this one... Note however that the "remove tag" command (Ctrl-Backspace) still properly works on that tag.

It's an odd behavior for sure, but certainly a very minor one. Lowering priority.

Philippe Joyez <pjoyez>
Group Member
Thu 17 Mar 2016 10:29:25 AM UTC, original submission:  

Version: 1.99.4

Steps:

Launch TeXmacs.

In a blank document type \inlcude then enter.

Change your mind: hit back space: the "<include|>" does not disappear.

Try from just outside (put cursor just after the "<include|>" and hit backspace): it still won't disappear.

Note: it is still possible to remove "<include|>" by selecting it with the mouse and hitting backspace or suppr.


Punto Di Rosso <puntodirosso>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by vdhoeven (Posted a comment)
  • -email is unavailable- added by pjoyez (Posted a comment)
  • -email is unavailable- added by puntodirosso (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    Follow 5 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2017-06-23 vdhoeven Item GroupNone Error
        Assigned toNone vdhoeven
        Open/ClosedOpen Closed
    2017-03-18 pjoyez Priority5 - Normal 2 - Very low
        StatusNone Confirmed

    Back to the top

    Powered by Savane 3.13-f8d8.
    Corresponding source code