gtk: try fullscreen

original commit: 1dd3c8accbc07ad97fbbcd4a961d67da5902b167

collects/mred/private/wx/gtk/frame.rkt

@@ -45,6 +45,7 @@
                                           -> (values x y)))
 (define-gtk gtk_window_set_gravity (_fun _GtkWindow _int -> _void))
 (define-gtk gtk_window_set_icon_list (_fun _GtkWindow _GList -> _void))
+(define-gtk gtk_window_fullscreen (_fun _GtkWindow -> _void))
 
 (define-gtk gtk_window_resize (_fun _GtkWidget _int _int -> _void))
 
@@ -163,6 +164,9 @@
 
     (set-size x y w h)
 
+    (when (memq 'hide-menu-bar style)
+      (gtk_window_fullscreen gtk))
+
     (connect-delete gtk)
     (connect-configure gtk)
 

collects/scribblings/gui/frame-class.scrbl

@@ -87,7 +87,8 @@ some platforms:
  frame's title bar (Mac OS X); a click on the toolbar button triggers
  a call to @method[frame% on-toolbar-button-click]}
  @item{@scheme['hide-menu-bar] --- hides the menu bar and dock when
- the frame is active (Mac OS X)}
+ the frame is active (Mac OS X) or asks the window manager to make
+ the frame fullscreen (X)}
 
  @item{@scheme['float] --- causes the frame to stay in front of all
  other non-floating windows (Windows and Mac OS X always, X when