add padding to top panel on mobile (William Casarin)
show fps on top panel (William Casarin)
add frame_history helper from egui (William Casarin)
pushed to refs/heads/master
http://git.jb55.com/notedeck/commit/0400b9476947c11965c6faa6fa2671668a887b3a.html