[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] Applied patches
From: |
Joris van der Hoeven |
Subject: |
[Texmacs-dev] Applied patches |
Date: |
Tue, 17 Dec 2002 20:26:53 +0100 (MET) |
Here some news about David's patches (mainly on menus)
838: Rejected: too violent
839: Applied
840: Rejected (mode dependent items should not be greyed)
841: Applied
842: Applied
843: Done myself
844: Applied
845: Rejected now; can be discussed later
846: Applied, but your change in init-default? is not sufficient
in order to achieve the desired effect