umbau 1.3
This commit is contained in:
@ -220,6 +220,19 @@ pre.log-view {
|
||||
color: var(--text); font-weight: 400; font-size: 0.85rem; border-radius: 4px;
|
||||
}
|
||||
.term-paste-menu button:hover { background: var(--border); filter: none; }
|
||||
|
||||
/* Ruecksprung fuer das Kopieren, wenn der Browser die Clipboard-API
|
||||
verweigert (terminal.js::_copyViaExecCommand). document.execCommand("copy")
|
||||
kopiert die aktuelle Auswahl -- dafuer muss das <textarea> TATSAECHLICH
|
||||
gerendert sein: mit display:none oder .hidden laesst es sich nicht
|
||||
selektieren und es wuerde leerer Text kopiert. Deshalb sichtbar im
|
||||
Layout, aber vollstaendig transparent und ausserhalb der Wahrnehmung.
|
||||
position:fixed statt absolute, damit .select() die Seite nicht scrollt. */
|
||||
.clipboard-helper {
|
||||
position: fixed; top: 0; left: 0; width: 1px; height: 1px;
|
||||
padding: 0; margin: 0; border: none; outline: none; box-shadow: none;
|
||||
background: transparent; color: transparent; opacity: 0; pointer-events: none;
|
||||
}
|
||||
.session-toolbar .status.warning { color: #f5b942; }
|
||||
/* F1 (Umsetzungsauftrag_Sonnet5.md Teil F.3.1): vormals #terminal/#rdp-display
|
||||
(feste, dokumentweit eindeutige IDs -- eine Seite hatte immer genau eine
|
||||
|
||||
Reference in New Issue
Block a user