mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-19 15:08:08 +03:00
animate appearance and disappearance of titlebar when toggling fullscreen
This commit is contained in:
parent
bda08c4a5f
commit
3e53a03871
@ -1,15 +1,17 @@
|
|||||||
@import "ui-variables";
|
@import "ui-variables";
|
||||||
|
|
||||||
@title-bar-text-size: 13px;
|
@title-bar-text-size: 13px;
|
||||||
|
@title-bar-height: 23px;
|
||||||
@title-bar-background-color: @base-background-color;
|
@title-bar-background-color: @base-background-color;
|
||||||
@title-bar-border-color: @base-border-color;
|
@title-bar-border-color: @base-border-color;
|
||||||
|
|
||||||
body.fullscreen .title-bar {
|
body.fullscreen .title-bar {
|
||||||
display: none;
|
margin-top: -@title-bar-height;
|
||||||
}
|
}
|
||||||
|
|
||||||
.title-bar {
|
.title-bar {
|
||||||
height: 23px;
|
height: @title-bar-height;
|
||||||
|
transition: margin-top 200ms ease-out 700ms;
|
||||||
|
|
||||||
flex-shrink: 0;
|
flex-shrink: 0;
|
||||||
display: flex;
|
display: flex;
|
||||||
|
Loading…
Reference in New Issue
Block a user