From dafad720dbe7806497e5f5efbc9b78312c5b9187 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 19 Apr 2014 17:34:42 -0500 Subject: [PATCH] restore the fullscreen button --- pkgs/drracket-pkgs/drracket/drracket/private/unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/unit.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/unit.rkt index 2303d3a4cb..9fc9e2784c 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/unit.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/unit.rkt @@ -4443,7 +4443,7 @@ (super-new [filename filename] - [style '(toolbar-button)] + [style '(toolbar-button fullscreen-button)] [size-preferences-key 'drracket:window-size] [position-preferences-key 'drracket:window-position])