From f50c6fc2d3e4142934cc22239307282bd77c5ab7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jens=20M=C3=B6nig?= Date: Tue, 22 Dec 2015 08:18:00 +0100 Subject: [PATCH] updated version history --- gui.js | 2 +- history.txt | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/gui.js b/gui.js index e02b3ed9..a7e621c8 100644 --- a/gui.js +++ b/gui.js @@ -71,7 +71,7 @@ BlockRemovalDialogMorph, saveAs*/ // Global stuff //////////////////////////////////////////////////////// -modules.gui = '2015-December-21'; +modules.gui = '2015-December-22'; // Declarations diff --git a/history.txt b/history.txt index 644d09b4..1d371676 100755 --- a/history.txt +++ b/history.txt @@ -2829,3 +2829,4 @@ end - bulk of 151215 151221 ------ * Blocks, Objects, Threads, Locale: revert to ’any key’ in the key-pressed menu +* GUI: Improve sorting and tab switching in the Project Dialog, Thanks, Michael!