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


You are not allowed to post comments on this tracker with your current authentication 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
    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-cleanup1