mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-22 16:48:23 +01:00
01e4106aa7
* updates for historyinfo * cmdinput history fixups, scrollbars * work with scrollbars * create another drag region at the end of the tabs bar * updates for header -- change title drag area, fix corner rounding, tabs spacing, etc.
19 lines
725 B
HTML
19 lines
725 B
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta charset="UTF-8" />
|
|
<base href="../" />
|
|
<script charset="UTF-8" src="dist-dev/waveterm.js"></script>
|
|
<link rel="stylesheet" href="public/bulma-0.9.4.min.css" />
|
|
<link rel="stylesheet" href="public/fontawesome/css/fontawesome.min.css">
|
|
<link rel="stylesheet" href="public/fontawesome/css/brands.min.css">
|
|
<link rel="stylesheet" href="public/fontawesome/css/sharp-solid.min.css">
|
|
<link rel="stylesheet" href="public/fontawesome/css/sharp-regular.min.css">
|
|
<link rel="stylesheet" href="dist-dev/waveterm.css" />
|
|
</head>
|
|
<body>
|
|
<div id="measure"></div>
|
|
<div id="app"></div>
|
|
</body>
|
|
</html>
|