Add SSH connections: saved hosts manager and hierarchical shell picker
This commit is contained in:
parent
4e5bc7e081
commit
872fb0e80e
14 changed files with 1324 additions and 171 deletions
|
|
@ -159,6 +159,61 @@
|
|||
color: #cce6ff;
|
||||
}
|
||||
|
||||
.shell-menu {
|
||||
min-width: 200px;
|
||||
max-height: 60vh;
|
||||
overflow-y: auto;
|
||||
}
|
||||
.shell-menu-header {
|
||||
font-family: "Cascadia Mono", "JetBrains Mono", "Consolas", monospace;
|
||||
font-size: 9px;
|
||||
text-transform: uppercase;
|
||||
letter-spacing: 0.08em;
|
||||
color: #666;
|
||||
padding: 6px 8px 2px 8px;
|
||||
margin-top: 2px;
|
||||
border-top: 1px solid #2a2a2a;
|
||||
}
|
||||
.shell-menu-header:first-child {
|
||||
border-top: none;
|
||||
margin-top: 0;
|
||||
}
|
||||
.shell-menu-empty {
|
||||
font-family: "Cascadia Mono", "JetBrains Mono", "Consolas", monospace;
|
||||
font-size: 10px;
|
||||
color: #555;
|
||||
padding: 3px 8px;
|
||||
font-style: italic;
|
||||
}
|
||||
.distro-menu-item.shell-menu-manage {
|
||||
margin-top: 4px;
|
||||
border-top: 1px solid #2a2a2a;
|
||||
padding-top: 6px;
|
||||
color: #88c;
|
||||
}
|
||||
|
||||
.leaf-missing-host {
|
||||
display: flex;
|
||||
flex-direction: column;
|
||||
align-items: center;
|
||||
justify-content: center;
|
||||
height: 100%;
|
||||
text-align: center;
|
||||
padding: 16px;
|
||||
background: #0c0c0c;
|
||||
color: #d66;
|
||||
font-family: "Cascadia Mono", "JetBrains Mono", "Consolas", monospace;
|
||||
font-size: 12px;
|
||||
}
|
||||
.leaf-missing-host p {
|
||||
margin: 4px 0;
|
||||
}
|
||||
.leaf-missing-host .hint {
|
||||
color: #888;
|
||||
font-size: 11px;
|
||||
max-width: 36ch;
|
||||
}
|
||||
|
||||
.pane-status {
|
||||
margin-left: auto;
|
||||
font-family: "Cascadia Mono", "JetBrains Mono", "Consolas", monospace;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue