Skip to content
GitLab
Explore
Sign in
Plasma
Plasma Mobile
Merge requests
!195
Add private API to access top panel height
代码
评审变更
检出分支
下载
补丁
文本差异
Devin Lin
requested to merge
work/top-panel-height
into
master
Oct 10, 2021
Overview
3
Commits
1
Pipelines
0
Changes
4
Expand
Exposes the top panel height so that the task panel doesn't have to hardcode it.
Merge request reports