notedeck

commit 95c526f4536a7be89717ffae37a64042ca75061b
parent dbc56ac09810cde15cf74312b6a64f941a01960b
Author: William Casarin <jb55@jb55.com>
Date:   Wed, 15 May 2024 18:01:28 -0700

mobile: add lots of top padding on mobile

and remove top panel

Signed-off-by: William Casarin <jb55@jb55.com>

Diffstat:
M
src/app.rs
 | 
10
++++++++--

1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/app.rs b/src/app.rs
@@ -607,7 +607,7 @@ fn render_panel(ctx: &egui::Context, app: &mut Damus, timeline_ind: usize) {
 }
 
 fn render_damus_mobile(ctx: &egui::Context, app: &mut Damus) {
-    render_panel(ctx, app, 0);
+    //render_panel(ctx, app, 0);
 
     #[cfg(feature = "profiling")]
     puffin::profile_function!();
@@ -618,8 +618,14 @@ fn render_damus_mobile(ctx: &egui::Context, app: &mut Damus) {
 }
 
 fn main_panel(style: &Style) -> egui::CentralPanel {
+    let inner_margin = egui::Margin {
+        top: if crate::ui::is_mobile() { 40.0 } else { 0.0 },
+        left: 0.0,
+        right: 0.0,
+        bottom: 0.0,
+    };
     egui::CentralPanel::default().frame(Frame {
-        inner_margin: Margin::same(0.0),
+        inner_margin,
         fill: style.visuals.panel_fill,
         ..Default::default()
     })