par-term-settings-ui 0.7.0

Settings UI for par-term terminal emulator
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

//! Profiles settings tab.
//!
//! Contains:
//! - Inline profile management (create, edit, delete, reorder)
//! - Display options for the profile drawer
//! - Dynamic profile sources management
//!
//! ## Sub-module layout
//!
//! | File | Contents |
//! |------|----------|
//! | `mod.rs` (this file) | `show()` dispatcher and `keywords()` |
//! | `management.rs` | Profile management section + display options section |
//! | `dynamic_sources.rs` | Dynamic profile sources list, enable/disable, edit form |

use super::SettingsUI;
use super::section::section_matches;
use std::collections::HashSet;

mod dynamic_sources;
mod management;

/// Show the profiles tab content.
pub fn show(
    ui: &mut egui::Ui,
    settings: &mut SettingsUI,
    changes_this_frame: &mut bool,
    collapsed: &mut HashSet<String>,
) {
    let query = settings.search_query.trim().to_lowercase();

    // Profile management section (inline)
    if section_matches(
        &query,
        "Profile Management",
        &[
            "profile",
            "manage",
            "create",
            "edit",
            "delete",
            "duplicate",
            "default",
        ],
    ) {
        management::show_management_section(ui, settings, collapsed);
    }

    // Display options section
    if section_matches(
        &query,
        "Display Options",
        &[
            "drawer",
            "button",
            "toggle",
            "show",
            "hide",
            "profile indicator",
        ],
    ) {
        management::show_display_options_section(ui, settings, changes_this_frame, collapsed);
    }

    // Dynamic profile sources section
    if section_matches(
        &query,
        "Dynamic Profile Sources",
        &[
            "dynamic", "remote", "url", "fetch", "refresh", "team", "shared", "download", "sync",
        ],
    ) {
        dynamic_sources::show_dynamic_sources_section(ui, settings, changes_this_frame, collapsed);
    }
}

/// Search keywords for the Profiles settings tab.
pub fn keywords() -> &'static [&'static str] {
    &[
        "profile",
        "profiles",
        "shell",
        "shell selection",
        "login shell",
        "login",
        "bash",
        "zsh",
        "fish",
        "powershell",
        "tags",
        "inheritance",
        "shortcut",
        "auto switch",
        "hostname",
        "ssh",
        "ssh host",
        "ssh user",
        "ssh port",
        "identity file",
        "remote",
        "connection",
        "profile drawer",
        "dynamic",
        "dynamic profiles",
        "remote url",
        "fetch",
        "refresh",
        "team",
        "shared",
        "download",
        "sync",
        // Profile management
        "duplicate",
        "default profile",
        "set default",
        // Dynamic profile extras
        "conflict resolution",
        "http headers",
        "headers",
        "max download",
        "download size",
        "fetch timeout",
    ]
}