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 25 Nov 2002 09:54:55 AM UTC  
Votes:  1  
Category:  User Interface Action:  Done
Privacy:  Public Assigned to:  David Allouche <ddaa>
Open/Closed:  Closed Release: 
Fixed Release:  Stable: 

Mon 03 Mar 2014 10:03:02 PM UTC, comment #1:

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

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


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


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 zohooo (Voted in favor of this item)

    Do you think this task is very important?
    If so, you can 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 03 Mar 2014 10:03:02 PM UTC vdhoeven ActionUpdate => Done
        Open/ClosedOpen => Closed
    Sun 04 Jul 2010 06:44:52 AM UTC zohooo Carbon-Copy- => Added zohooo
    Thu 22 Jan 2004 04:16:55 PM UTC ddaa Assigned toNone => ddaa
    Thu 22 Jan 2004 04:16:54 PM UTC ddaa ActionNone => Update
    Sat 14 Dec 2002 06:46:28 PM UTC ddaa patch_status_id1 =>
        Closed on- => -
    Mon 09 Dec 2002 02:45:37 PM UTC ddaa patch_category_id100 =>

    Back to the top

    Powered by Savane 3.3