Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • phosh phosh
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
  • Issues 234
    • Issues 234
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 29
    • Merge requests 29
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • World
  • Phosh
  • phoshphosh
  • Merge requests
  • !1158

Allow to shift top-panel down to help notches

  • Review changes

  • Download
  • Email patches
  • Plain diff
Open Guido Günther requested to merge guidog/phosh:top-panel-height into main Oct 28, 2022
  • Overview 9
  • Commits 13
  • Pipelines 17
  • Changes 17

Allow to shift the top panel down via device information.

The offset is supposed to be in physical pixels. This is rough cuts but already works better here than CSS.

TODOs (some of those could just be follow ups as we don't break existing uses, but markig as draft anyway)

  • don't apply offset in landscape mode
  • update offset on video mode or scaling changes
  • take video mode into account when calculating offset (we currently assume highest resolution) (can happen later as we apply that to built-in panel)
  • drop the top-margin from the stack when unfolded since otherwise there's less space for notifications
  • apply gsetting changes immediately (not only when panels are recreated or output config changed) (We read device information)
  • only apply offset to built-in display

I figured it's preferable to shift down as this prevents us from having the clock out of center and or overlapping with icons and devices with notches usually have high resolution displays.

Demo: https://twitter.com/GuidoGuenther/status/1586032467731156993

20230113_15h55m44s_grim

More dynamic top-bar layout will come via separate MRs.

Helps: #552

Edited Jan 21, 2023 by Guido Günther
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: top-panel-height