mirror of
https://github.com/quine-global/hyper.git
synced 2026-01-13 04:28:41 -09:00
d8e841a3d8
* remove legacy css * hyperterm: delegate rows / cols calculation to hterm * session: handle pty kill problems * index: fix memory leak by removing sessions from the map upon exit * app: remove local copy of `xterm.js` * term: implement the `hterm` API and some needed overrides * package: add `hterm-umd` * hyperterm: add optimistic tab exit * hyperterm: delegate key combination detection to the hterm <iframe> document * term: register keyboard * session: fix incorrect width after resizing and creating a new tab (#13) * tabs: fix `user-select` css property * term: fix focus issue when exiting a url Instead of uninstalling the keyboard, we keep the focus on the underlying terminal. We register a new IO handler so that we intercept all data events. The reason we need to do this is that we can't programmatically restore focus on the underlying terminal unless it's in the same tick as a user event (ie: click). Since we were uninstalling the keyboard and subsequently attempting to reinstall it without such an event, pressing Ctrl+C after a url was effectively resulting in a loss of focus and a horrible horrible experience. Now it's fixed :) * text-metrics: remove module no longer used hterm has a much better calculation technique anyways * term: fix default bg * term: fix nasty hterm bug that triggered an infinite copy loop * index: add separator in `View` menu for full screen item * term: implement cmd+K clearing and improve hterm's `wipeContents`
73 lines
1.2 KiB
CSS
73 lines
1.2 KiB
CSS
nav {
|
|
font-size: 12px;
|
|
font-family: -apple-system, BlinkMacSystemFont,
|
|
"Segoe UI", "Roboto", "Oxygen",
|
|
"Ubuntu", "Cantarell", "Fira Sans",
|
|
"Droid Sans", "Helvetica Neue", sans-serif;
|
|
height: 28px;
|
|
line-height: 28px;
|
|
vertical-align: middle;
|
|
color: #9B9B9B;
|
|
cursor: default;
|
|
-webkit-user-select: none;
|
|
}
|
|
|
|
.single {
|
|
text-align: center;
|
|
color: #fff;
|
|
}
|
|
|
|
.tabs {
|
|
border-bottom: 1px solid #333;
|
|
max-height: 28px;
|
|
display: flex;
|
|
flex-flow: row;
|
|
}
|
|
|
|
.tabs li:first-child {
|
|
margin-left: 70px;
|
|
}
|
|
|
|
.tabs li {
|
|
list-style-type: none;
|
|
flex-grow: 1;
|
|
text-align: center;
|
|
}
|
|
|
|
.tabs li.is_active {
|
|
color: #fff;
|
|
position: relative;
|
|
}
|
|
|
|
.tabs li span {
|
|
display: block;
|
|
border-left: 1px solid transparent;
|
|
border-right: 1px solid transparent;
|
|
}
|
|
|
|
.tabs li.is_active span {
|
|
border-left-color: #333;
|
|
border-right-color: #333;
|
|
}
|
|
|
|
.tabs li.is_active:last-child span {
|
|
border-right-color: transparent;
|
|
}
|
|
|
|
.tabs li.is_active::before {
|
|
position: absolute;
|
|
content: ' ';
|
|
border-bottom: 1px solid #000;
|
|
display: block;
|
|
left: 1px;
|
|
right: 1px;
|
|
bottom: -1px;
|
|
}
|
|
|
|
.tabs li:not(.is_active):hover {
|
|
color: #ccc;
|
|
}
|
|
|
|
.tabs li.has_activity, .tabs li.has_activity:hover {
|
|
color: #50E3C2;
|
|
}
|