add padding to top panel on mobile

This commit is contained in:
William Casarin
2023-07-09 14:21:01 -07:00
parent a618da3ed7
commit 0400b94769
3 changed files with 38 additions and 3 deletions

View File

@@ -13,6 +13,8 @@ mod frame_history;
pub use app::Damus;
pub use error::Error;
#[cfg(target_os = "android")]
use winit::platform::android::EventLoopBuilderExtAndroid;
pub type Result<T> = std::result::Result<T, error::Error>;