bugGNU TeXmacs - Bugs: bug #61326, Greying out an item in a list via...

 
 

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

bug #61326: Greying out an item in a list via Insert => Presentation Tag => Greyed may add extra space.

Submitter:  Amir Michail <amichail>
Submitted:  Sun 10 Oct 2021 01:16:26 PM UTC
   
 
Category:  Editor Priority:  5 - Normal
Item Group:  Error Status:  Works For Me
Privacy:  Public Assigned to:  vdhoeven
Originator Name:  Open/Closed:  Closed
Release:  None Release: 
Fixed Release:  None Fixed Release: 
Keywords: 

Tue 09 Nov 2021 04:56:53 PM UTC, comment #1: 

Yes, this behaviour is kind of normal when you select block content (your first selection scheme), since the line break is part of the selection.  You can still remove the line break after greying the item out.  So I do not regard this as a bug but simply as a feature/behaviour to get used to.

Joris van der Hoeven <vdhoeven>
Group administrator
Sun 10 Oct 2021 01:16:26 PM UTC, original submission:  

Greying out an item in a list via Insert => Presentation Tag => Greyed adds extra vertical space in the following situation:

  • item 1
  • item 2
  • item 3


Select item 2 as shown below:

  • item 1

[* item 2
]* item 3

And now greying this out results in:

  • item 1
  • item 2 greyed out

 

  • item 3


with extra vertical space added after the greyed out item 2

The bug doesn't occur if the selection is done as follows:

  • item 1

[* item 2]

  • item 3


Amir Michail <amichail>

 

(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 amichail (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 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2021-11-09 vdhoeven StatusNone Works For Me
        Assigned toNone vdhoeven
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.13-02a9.
    Corresponding source code