mirror of
https://github.com/YGGverse/Yoda.git
synced 2025-09-10 22:11:52 +00:00
show General page on members not empty
This commit is contained in:
parent
6443105986
commit
6a100c48ee
@ -29,6 +29,7 @@ impl Dialog for PreferencesDialog {
|
|||||||
.search_enabled(true)
|
.search_enabled(true)
|
||||||
.title("Page info")
|
.title("Page info")
|
||||||
.build();
|
.build();
|
||||||
|
if info.mime.is_some() || info.size.is_some() || info.header.is_some() {
|
||||||
d.add(&{
|
d.add(&{
|
||||||
let p = PreferencesPage::builder()
|
let p = PreferencesPage::builder()
|
||||||
.title("General")
|
.title("General")
|
||||||
@ -95,6 +96,7 @@ impl Dialog for PreferencesDialog {
|
|||||||
} // @TODO header size, total size, etc.
|
} // @TODO header size, total size, etc.
|
||||||
p
|
p
|
||||||
});
|
});
|
||||||
|
}
|
||||||
if let Some(ref socket) = info.socket {
|
if let Some(ref socket) = info.socket {
|
||||||
d.add(&{
|
d.add(&{
|
||||||
let p = PreferencesPage::builder()
|
let p = PreferencesPage::builder()
|
||||||
|
Loading…
x
Reference in New Issue
Block a user