tyiu/notedeck
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ui: fix deprecated rounding routines in search ui

Browse Source 
Signed-off-by: William Casarin <jb55@jb55.com>
This commit is contained in:
William Casarin
2025-03-11 11:00:03 -07:00
parent 2e991a9aa5
commit c93c2242b1
1 changed files with 14 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
crates/notedeck_columns/src/ui/search_results.rs
View File

@@ -1,3 +1,4 @@
use egui::emath::GuiRounding;
use egui::{vec2, FontId, Layout, Pos2, Rect, ScrollArea, Stroke, UiBuilder, Vec2b}; use egui::{vec2, FontId, Layout, Pos2, Rect, ScrollArea, Stroke, UiBuilder, Vec2b};
use nostrdb::{Ndb, ProfileRecord, Transaction}; use nostrdb::{Ndb, ProfileRecord, Transaction};
use notedeck::{fonts::get_font_size, Images, NotedeckTextStyle}; use notedeck::{fonts::get_font_size, Images, NotedeckTextStyle};
@@ -178,14 +179,19 @@ fn close_button(rect: egui::Rect) -> impl egui::Widget {
let radius = max_width / (2.0 * ICON_EXPANSION_MULTIPLE); let radius = max_width / (2.0 * ICON_EXPANSION_MULTIPLE);
let painter = ui.painter(); let painter = ui.painter();
let nw_edge = painter let ppp = ui.ctx().pixels_per_point();
.round_pos_to_pixel_center(helper.scale_pos_from_center(Pos2::new(-radius, radius))); let nw_edge = helper
let se_edge = painter .scale_pos_from_center(Pos2::new(-radius, radius))
.round_pos_to_pixel_center(helper.scale_pos_from_center(Pos2::new(radius, -radius))); .round_to_pixel_center(ppp);
let sw_edge = painter let se_edge = helper
.round_pos_to_pixel_center(helper.scale_pos_from_center(Pos2::new(-radius, -radius))); .scale_pos_from_center(Pos2::new(radius, -radius))
let ne_edge = painter .round_to_pixel_center(ppp);
.round_pos_to_pixel_center(helper.scale_pos_from_center(Pos2::new(radius, radius))); let sw_edge = helper
.scale_pos_from_center(Pos2::new(-radius, -radius))
.round_to_pixel_center(ppp);
let ne_edge = helper
.scale_pos_from_center(Pos2::new(radius, radius))
.round_to_pixel_center(ppp);
let line_width = helper.scale_1d_pos(2.0); let line_width = helper.scale_1d_pos(2.0);