updated history

2017-01-20 11:11:32 +01:00 · 2017-01-20 11:11:32 +01:00 · 40150ddb78
commit 40150ddb78
--- a/gui.js
+++ b/gui.js
@ -74,7 +74,7 @@ isRetinaSupported, SliderMorph, Animation*/

 // Global stuff ////////////////////////////////////////////////////////

-modules.gui = '2017-January-19';
+modules.gui = '2017-January-20';

 // Declarations

--- a/history.txt
+++ b/history.txt
@ -3318,3 +3318,4 @@ Fixes:
 170120
 ------
 * Blocks: improved inspectability of local variables
+* GUI: improved library browser, thanks, Michael!