diff options
Diffstat (limited to 'widgets.js')
| -rw-r--r-- | widgets.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -74,7 +74,7 @@ HTMLCanvasElement, fontHeight, SymbolMorph, localize, SpeechBubbleMorph, ArrowMorph, MenuMorph, isString, isNil, SliderMorph, MorphicPreferences, ScrollFrameMorph*/ -modules.widgets = '2015-March-21'; +modules.widgets = '2015-June-25'; var PushButtonMorph; var ToggleButtonMorph; |
