bugGNU TeXmacs - Bugs: bug #22730, Overline cling to each other

 
 

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

bug #22730: Overline cling to each other

Submitter:  Victor Porton <porton>
Submitted:  Tue 25 Mar 2008 08:25:37 PM UTC
   
 
Category:  Typesetter Priority:  5 - Normal
Item Group:  Error Status:  Fixed
Privacy:  Public Assigned to:  vdhoeven
Originator Name:  Open/Closed:  Closed
Release:  None Release:  1.0.6.12
Fixed Release:  None Fixed Release: 
Keywords: 

Sat 31 Oct 2020 04:17:38 PM UTC, comment #3: 

Darcy seems to be right; I can no longer reproduce this bug.

Joris van der Hoeven <vdhoeven>
Group administrator
Sat 05 Oct 2019 12:32:13 PM UTC, comment #2: 
Darcy Shen <sadhen>
Group Member
Mon 27 Feb 2017 07:54:43 PM UTC, comment #1: 

 The problem is not present at large zoom factor and does not affect printing : it is due to the finite size of on-screen pixels and rounding.
Forcing a blank pixel between lines on-screen would be artificial and could trigger other issues.

Philippe Joyez <pjoyez>
Group Member
Tue 25 Mar 2008 08:25:37 PM UTC, original submission:  

Sometimes the following formula is displayed in UI with the big overline at zero distance from the small overlines. Overlines cleave to each other.

<math|<overline|<overline|X>\<cap\><overline|Y>>>

You may enter the formula and to add some empty paragraphs before it until appear the effect of clinging overlines to each other.

There should always be at least one pixel between overlines.

Victor Porton <porton>

 

(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 sadhen (Posted a comment)
  • -email is unavailable- added by vdhoeven (Updated the item)
  • -email is unavailable- added by pjoyez (Posted a comment)
  • -email is unavailable- added by porton (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 8 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2020-10-31 vdhoeven StatusPostponed Fixed
        Open/ClosedOpen Closed
    2020-10-23 vdhoeven Item GroupNone Error
    2017-09-26 vdhoeven StatusWont Fix Postponed
        Assigned toNone vdhoeven
        Open/ClosedClosed Open
    2017-02-27 pjoyez StatusNone Wont Fix
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.13-02a9.
    Corresponding source code