hyper/app/css/hyperterm.css
Guillermo Rauch d8e841a3d8 Implement hterm (#28)
* 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`
2016-07-03 13:35:45 -07:00

82 lines
1.1 KiB
CSS

.main {
position: fixed;
top: 0;
left: 0;
right: 0;
bottom: 0;
border: 1px solid #333;
}
.mac.main {
border-radius: 5px;
}
header {
position: fixed;
top: 1px;
left: 1px;
right: 1px;
background: #000;
z-index: 100;
}
.mac header {
border-top-left-radius: 5px;
border-top-right-radius: 5px;
}
.terms {
position: absolute;
margin-top: 28px;
top: 0;
right: 0;
left: 0;
bottom: 0;
color: #fff;
}
.term {
display: none;
}
.term.active {
display: block;
}
.resize-indicator {
background: rgba(255, 255, 255, .2);
padding: 6px 14px;
color: #fff;
font: 11px Menlo;
position: fixed;
bottom: 20px;
right: 20px;
opacity: 0;
transition: opacity 150ms ease-in;
}
.resize-indicator.showing {
opacity: 1;
}
.update-indicator {
background: rgba(255, 51, 76, .8);
padding: 6px 14px;
color: #fff;
font: 11px Menlo;
position: fixed;
bottom: 20px;
right: 20px;
opacity: 0;
transition: opacity 150ms ease-in;
pointer-events: none;
}
.update-indicator a {
color: #fff;
}
.update-indicator.showing {
opacity: 1;
pointer-events: inherit;
}