Round popup position

This commit is contained in:
Jeremy Soller 2024-02-27 10:03:44 -07:00
parent bb0c42e92f
commit 34c66caac5
No known key found for this signature in database
GPG key ID: D02FD439211AF56F

View file

@ -2213,10 +2213,11 @@ impl Application for App {
text_box = text_box.line_numbers(); text_box = text_box.line_numbers();
} }
let mut popover = widget::popover(text_box); let mut popover = widget::popover(text_box);
if let Some(position) = tab.context_menu { if let Some(point) = tab.context_menu {
let rounded = Point::new(point.x.round(), point.y.round());
popover = popover popover = popover
.popup(menu::context_menu(&self.key_binds, tab_id)) .popup(menu::context_menu(&self.key_binds, tab_id))
.position(position); .position(rounded);
} }
tab_column = tab_column.push(popover); tab_column = tab_column.push(popover);
if !status.is_empty() { if !status.is_empty() {