[webkit-changes] [WebKit/WebKit] a99725: [WPE] WPE Platform: add API to get/set the primary...

Carlos Garcia Campos noreply at github.com
Fri Mar 1 02:26:06 PST 2024


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: a997251a7158008b2d0d9698567f77912e114948
      https://github.com/WebKit/WebKit/commit/a997251a7158008b2d0d9698567f77912e114948
  Author: Carlos Garcia Campos <cgarcia at igalia.com>
  Date:   2024-03-01 (Fri, 01 Mar 2024)

  Changed paths:
    M Source/WebKit/UIProcess/wpe/ScreenManagerWPE.cpp
    M Source/WebKit/WPEPlatform/wpe/WPEDisplay.cpp
    M Source/WebKit/WPEPlatform/wpe/WPEDisplay.h

  Log Message:
  -----------
  [WPE] WPE Platform: add API to get/set the primary display
https://bugs.webkit.org/show_bug.cgi?id=270336

Reviewed by Alejandro G. Castro.

We are currently using the default display for the screen manager, which
is wrong for apps not using the default display and explicitly creating
one. In most of the cases there's only one display, and in most of the
cases where there's more than one, the first one created is the primary
one. So, we can add API to get the primary display that is set
automatically for the first created display, but still allow to set any
other display as primary.

* Source/WebKit/UIProcess/wpe/ScreenManagerWPE.cpp:
(WebKit::ScreenManager::ScreenManager):
(WebKit::ScreenManager::updatePrimaryDisplayID):
* Source/WebKit/WPEPlatform/wpe/WPEDisplay.cpp:
(wpe_display_class_init):
(wpe_display_get_primary):
(wpe_display_set_primary):
* Source/WebKit/WPEPlatform/wpe/WPEDisplay.h:

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



To unsubscribe from these emails, change your notification settings at https://github.com/WebKit/WebKit/settings/notifications


More information about the webkit-changes mailing list