From 955c22df1eae644029fd71c6597faee3f459098f Mon Sep 17 00:00:00 2001 From: Massimiliano Gubinelli Date: Tue, 30 Nov 2010 22:00:46 +0000 Subject: [PATCH] restore some more lost commits in src (from original rev 3875) --- about/changes/changes-16.en.ptm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 about/changes/changes-16.en.ptm diff --git a/about/changes/changes-16.en.ptm b/about/changes/changes-16.en.ptm new file mode 100644 index 0000000..39f52db --- /dev/null +++ b/about/changes/changes-16.en.ptm @@ -0,0 +1,24 @@ + + + The interface of the new version of is + more context dependent. On the one hand, the menus and toolbars + have been reorganized. Several items from the menu + have been moved to the menu, whereas the + context dependent menus , , + , , + have disappeared, their contents being moved to + the menu. + + On the other hand, a new top-level menu + has been created. Its contents is highly context dependent and + determined as a function of the . + Similarly, a third has been introduced. + For more information, we refer to the section on + . + + developers should also notice that the introduction + of the focus has modified the way contextual overloading is done. + For more details, we refer to the sections on + and + editing model|$TEXMACS_DOC_PATH/devel/scheme/edit/edit-model.en.tm>. +