From 3e53a03871ac25e68269f3897896fc93170ef471 Mon Sep 17 00:00:00 2001
From: Philipp Brumm <philipp@funkensturm.de>
Date: Sat, 2 Jul 2016 15:05:29 +0200
Subject: [PATCH] animate appearance and disappearance of titlebar when
 toggling fullscreen

---
 static/title-bar.less | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/static/title-bar.less b/static/title-bar.less
index b126ece5c..656efa417 100644
--- a/static/title-bar.less
+++ b/static/title-bar.less
@@ -1,15 +1,17 @@
 @import "ui-variables";
 
 @title-bar-text-size: 13px;
+@title-bar-height: 23px;
 @title-bar-background-color: @base-background-color;
 @title-bar-border-color: @base-border-color;
 
 body.fullscreen .title-bar {
-  display: none;
+  margin-top: -@title-bar-height;
 }
 
 .title-bar {
-  height: 23px;
+  height: @title-bar-height;
+  transition: margin-top 200ms ease-out 700ms;
 
   flex-shrink: 0;
   display: flex;