bugGNU TeXmacs - Bugs: bug #58316, local values set with...

 
 

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

bug #58316: local values set with <with|...> are ignored inside <concat|...>

Submitter:  Philippe Joyez <pjoyez>
Submitted:  Thu 07 May 2020 09:32:22 AM UTC
   
 
Category:  Typesetter Priority:  5 - Normal
Item Group:  Error Status:  Works For Me
Privacy:  Public Assigned to:  vdhoeven
Originator Name:  Open/Closed:  Closed
Release:  None Release:  1.99.12
Fixed Release:  None Fixed Release: 
Keywords: 

Sat 24 Oct 2020 04:50:39 PM UTC, comment #2: 

I think that I fixed this problem a few weeks or so ago.
For sure, a local change of colors is nice for 'marked'.

Please re-open if you still have the problem with the current SVN version (revision 13013) or the next release 1.99.14.

Joris van der Hoeven <vdhoeven>
Group administrator
Fri 08 May 2020 10:15:44 AM UTC, comment #1: 

The problem occurs when the <with|marked-color|... is inside a concat. If it is on its own on a line, then the local value is properly taken into account.

Philippe Joyez <pjoyez>
Group Member
Thu 07 May 2020 09:32:22 AM UTC, original submission:  

<with|marked-color|orange|<marked|whatever>> is still rendered with the default color yellow. A global redefinition with assign works.

The same problem occurs with other similar tags and parameters.

Philippe Joyez <pjoyez>
Group Member

 

(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 (Updated the item)
  • -email is unavailable- added by pjoyez (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 6 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2020-10-24 vdhoeven StatusNone Works For Me
        Assigned toNone vdhoeven
        Open/ClosedOpen Closed
    2020-10-23 vdhoeven Item GroupNone Error
    2020-05-22 pjoyez Summarylocal values of some style parameters not taken into account local values set with <with|...> are ignored inside <concat|...>
    2020-05-08 pjoyez CategoryNone Typesetter

    Back to the top

    Powered by Savane 3.13-f8d8.
    Corresponding source code