diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-23 08:31:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-23 08:31:29 +0100 |
| commit | 22782d519c263febe0af94c7765fd79565c0f3ce (patch) | |
| tree | a291ec2dbfdc9cb720623d916ed7bfe1de543aa2 /platform/server/os_server.h | |
| parent | 56d44aaac96747d2311b11702598c2e65551f411 (diff) | |
| parent | d53c392b340f6a74b6877d2aaaaaa908b64b8ca1 (diff) | |
Merge pull request #34553 from timothyqiu/center-dock-position
Centers label text in Dock Select popup panel
Diffstat (limited to 'platform/server/os_server.h')
0 files changed, 0 insertions, 0 deletions