Merge branch 'develop' into develop

This commit is contained in:
Core 2022-02-17 00:23:52 +00:00 committed by GitHub
commit 5fa345e6c8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 48 additions and 66 deletions

View file

@ -3134,6 +3134,10 @@ body[platform='darwin'] {
}
}
body[platform='linux'] #window-controls-container {
display: none;
}
.percent {
display: inline-block;
position: relative;