YGGverse/Yoda
1
0
Fork 0
mirror of https://github.com/YGGverse/Yoda.git synced 2026-03-31 08:35:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

show redirection numbers

Browse source
This commit is contained in:
yggverse 2025-03-22 16:05:02 +02:00
parent 37c8a70f41
commit ff906181a2
1 changed files with 29 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

42
src/app/browser/window/tab/item/page/navigation/request/info/dialog.rs
View file

@ -1,7 +1,7 @@
use super::Info;
use adw::{
ActionRow, PreferencesDialog, PreferencesGroup, PreferencesPage,
prelude::{PreferencesDialogExt, PreferencesGroupExt, PreferencesPageExt},
prelude::{ActionRowExt, PreferencesDialogExt, PreferencesGroupExt, PreferencesPageExt},
};
pub trait Dialog {
@ -55,27 +55,43 @@ impl Dialog for PreferencesDialog {
});
if info.redirect.is_some() {
d.add(&{
// collect redirections into the vector,
// to reverse chain before add its members to widget
// * capacity optimized for Gemini protocol (as default)
let mut v = Vec::with_capacity(5);
let g = PreferencesGroup::new();
let p = PreferencesPage::builder()
.title("Redirect")
.icon_name("insert-link-symbolic")
.build();
p.add(&{
fn chain<'a>(v: &mut Vec<&'a Info>, i: &'a Info) {
v.push(i);
// Collect redirections into the buffer,
// to reverse chain before add its members to widget
// * capacity optimized for Gemini protocol (as default)
let mut b = Vec::with_capacity(5);
/// Recursively collect redirection members into the given vector
fn chain<'a>(b: &mut Vec<&'a Info>, i: &'a Info) {
b.push(i);
if let Some(ref r) = i.redirect {
chain(v, r)
chain(b, r)
}
}
chain(&mut v, info);
v.reverse();
for r in v {
g.add(&ActionRow::builder().title(r.request().unwrap()).build());
chain(&mut b, info);
b.reverse();
let l = b.len(); // calculate once
for (i, r) in b.iter().enumerate() {
g.add(&{
let a = ActionRow::builder().title(r.request().unwrap()).build();
a.add_prefix(&{
let c = i + 1;
gtk::Button::builder()
.css_classes([
"circular",
if c == l { "success" } else { "accent" },
])
.label(&c.to_string())
.sensitive(false)
.valign(gtk::Align::Center)
.build()
});
a
});
}
g
});