patchGNU TeXmacs - Patches: patch #708, alternative styles to display...

 
 

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

patch #708: alternative styles to display shortcuts

Submitted by:  David Allouche <ddaa>
Submitted on:  Mon Nov 25 09:54:55 2002  
Votes:  1  
 
Category: User InterfaceAction: Done
Privacy: PublicAssigned to: David Allouche <ddaa>
Open/Closed: ClosedRelease: 
Fixed Release: Stable: 

Mon Mar 3 22:03:02 2014, comment #1:

Something along these lines has been implemented now. Thanks anyway, --Joris

Joris van der Hoeven <vdhoeven>
Project Administrator
Mon Nov 25 09:54:55 2002, original submission:
David Allouche <ddaa>
Project AdministratorIn charge of this item.

 

Attached Files
file #4837:  patch_item_708.patch added by ddaa (6kB - text/plain - patch item 708)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by vdhoeven (Posted a comment)
  • -unavailable- added by zohooo (Voted in favor of this item)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 1 encouragement so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 8 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Mon Mar 3 22:03:02 2014vdhoevenActionUpdate=>Done
      Open/ClosedOpen=>Closed
    Sun Jul 4 06:44:52 2010zohoooCarbon-Copy-=>Added zohooo
    Thu Jan 22 16:16:55 2004ddaaAssigned toNone=>ddaa
    Thu Jan 22 16:16:54 2004ddaaActionNone=>Update
    Sat Dec 14 18:46:28 2002ddaapatch_status_id1=>
      Closed on-=>-
    Mon Dec 9 14:45:37 2002ddaapatch_category_id100=>

    Back to the top


    Powered by Savane 3.1-cleanup