[webkit-changes] [WebKit/WebKit] e07345: [GTK] MiniBrowser should hide the toolbar when usi...

[Christian Hesse]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: e07345343415dd2496edc721daa61a3b42703131
      https://github.com/WebKit/WebKit/commit/e07345343415dd2496edc721daa61a3b42703131
  Author: Christian Hesse <mail at eworm.de>
  Date:   2023-09-19 (Tue, 19 Sep 2023)

  Changed paths:
    M Tools/MiniBrowser/gtk/BrowserWindow.c
    M Tools/MiniBrowser/gtk/BrowserWindow.h
    M Tools/MiniBrowser/gtk/main.c

  Log Message:
  -----------
  [GTK] MiniBrowser should hide the toolbar when using --full-screen #17909
https://bugs.webkit.org/show_bug.cgi?id=261732

Reviewed by Michael Catanzaro.

Entering fullscreen mode with F11 works as expected.
Starting with command line switch `--full-screen` does make the window
fullscreen, but does not hide the toolbar. Let's change that.

Instead of just making the window fullscreen with `gtk_window_fullscreen()`
this introduces a new function `browser_window_fullscreen()` that hides
the toolbar as well.

Also introduce new function `browserWindowUnfullscreen()`, use both
in `toggleFullScreen()`, and drop extra inversion.

* Tools/MiniBrowser/gtk/BrowserWindow.c
* Tools/MiniBrowser/gtk/BrowserWindow.h
* Tools/MiniBrowser/gtk/main.c

Canonical link: https://commits.webkit.org/268141@main