Add profiling with Remotery
This commit is contained in:
parent
c37be6798f
commit
6331a2bf79
50 changed files with 16864 additions and 11 deletions
BIN
vis/Styles/Fonts/FiraCode/FiraCode-Regular.ttf
Normal file
BIN
vis/Styles/Fonts/FiraCode/FiraCode-Regular.ttf
Normal file
Binary file not shown.
93
vis/Styles/Fonts/FiraCode/LICENSE
Normal file
93
vis/Styles/Fonts/FiraCode/LICENSE
Normal file
|
|
@ -0,0 +1,93 @@
|
|||
Copyright (c) 2014, The Fira Code Project Authors (https://github.com/tonsky/FiraCode)
|
||||
|
||||
This Font Software is licensed under the SIL Open Font License, Version 1.1.
|
||||
This license is copied below, and is also available with a FAQ at:
|
||||
http://scripts.sil.org/OFL
|
||||
|
||||
|
||||
-----------------------------------------------------------
|
||||
SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
|
||||
-----------------------------------------------------------
|
||||
|
||||
PREAMBLE
|
||||
The goals of the Open Font License (OFL) are to stimulate worldwide
|
||||
development of collaborative font projects, to support the font creation
|
||||
efforts of academic and linguistic communities, and to provide a free and
|
||||
open framework in which fonts may be shared and improved in partnership
|
||||
with others.
|
||||
|
||||
The OFL allows the licensed fonts to be used, studied, modified and
|
||||
redistributed freely as long as they are not sold by themselves. The
|
||||
fonts, including any derivative works, can be bundled, embedded,
|
||||
redistributed and/or sold with any software provided that any reserved
|
||||
names are not used by derivative works. The fonts and derivatives,
|
||||
however, cannot be released under any other type of license. The
|
||||
requirement for fonts to remain under this license does not apply
|
||||
to any document created using the fonts or their derivatives.
|
||||
|
||||
DEFINITIONS
|
||||
"Font Software" refers to the set of files released by the Copyright
|
||||
Holder(s) under this license and clearly marked as such. This may
|
||||
include source files, build scripts and documentation.
|
||||
|
||||
"Reserved Font Name" refers to any names specified as such after the
|
||||
copyright statement(s).
|
||||
|
||||
"Original Version" refers to the collection of Font Software components as
|
||||
distributed by the Copyright Holder(s).
|
||||
|
||||
"Modified Version" refers to any derivative made by adding to, deleting,
|
||||
or substituting -- in part or in whole -- any of the components of the
|
||||
Original Version, by changing formats or by porting the Font Software to a
|
||||
new environment.
|
||||
|
||||
"Author" refers to any designer, engineer, programmer, technical
|
||||
writer or other person who contributed to the Font Software.
|
||||
|
||||
PERMISSION & CONDITIONS
|
||||
Permission is hereby granted, free of charge, to any person obtaining
|
||||
a copy of the Font Software, to use, study, copy, merge, embed, modify,
|
||||
redistribute, and sell modified and unmodified copies of the Font
|
||||
Software, subject to the following conditions:
|
||||
|
||||
1) Neither the Font Software nor any of its individual components,
|
||||
in Original or Modified Versions, may be sold by itself.
|
||||
|
||||
2) Original or Modified Versions of the Font Software may be bundled,
|
||||
redistributed and/or sold with any software, provided that each copy
|
||||
contains the above copyright notice and this license. These can be
|
||||
included either as stand-alone text files, human-readable headers or
|
||||
in the appropriate machine-readable metadata fields within text or
|
||||
binary files as long as those fields can be easily viewed by the user.
|
||||
|
||||
3) No Modified Version of the Font Software may use the Reserved Font
|
||||
Name(s) unless explicit written permission is granted by the corresponding
|
||||
Copyright Holder. This restriction only applies to the primary font name as
|
||||
presented to the users.
|
||||
|
||||
4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font
|
||||
Software shall not be used to promote, endorse or advertise any
|
||||
Modified Version, except to acknowledge the contribution(s) of the
|
||||
Copyright Holder(s) and the Author(s) or with their explicit written
|
||||
permission.
|
||||
|
||||
5) The Font Software, modified or unmodified, in part or in whole,
|
||||
must be distributed entirely under this license, and must not be
|
||||
distributed under any other license. The requirement for fonts to
|
||||
remain under this license does not apply to any document created
|
||||
using the Font Software.
|
||||
|
||||
TERMINATION
|
||||
This license becomes null and void if any of the above conditions are
|
||||
not met.
|
||||
|
||||
DISCLAIMER
|
||||
THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
||||
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
|
||||
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
|
||||
OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE
|
||||
COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
|
||||
INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL
|
||||
DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
||||
FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM
|
||||
OTHER DEALINGS IN THE FONT SOFTWARE.
|
||||
274
vis/Styles/Remotery.css
Normal file
274
vis/Styles/Remotery.css
Normal file
|
|
@ -0,0 +1,274 @@
|
|||
|
||||
body
|
||||
{
|
||||
/* Take up the full page */
|
||||
width: 100%;
|
||||
height: 100%;
|
||||
margin: 0px;
|
||||
|
||||
background-color: #999;
|
||||
|
||||
touch-action: none;
|
||||
}
|
||||
|
||||
|
||||
/* Override default container style to remove 3D effect */
|
||||
.Container
|
||||
{
|
||||
border: none;
|
||||
box-shadow: none;
|
||||
}
|
||||
|
||||
|
||||
/* Override default edit box style to remove 3D effect */
|
||||
.EditBox
|
||||
{
|
||||
border: none;
|
||||
box-shadow: none;
|
||||
width:200;
|
||||
}
|
||||
|
||||
|
||||
@font-face
|
||||
{
|
||||
font-family: "LocalFiraCode";
|
||||
src:url("Fonts/FiraCode/FiraCode-Regular.ttf");
|
||||
}
|
||||
|
||||
.ConsoleText
|
||||
{
|
||||
overflow:auto;
|
||||
color: #BBB;
|
||||
font: 10px LocalFiraCode;
|
||||
margin: 3px;
|
||||
white-space: pre;
|
||||
line-height:14px;
|
||||
}
|
||||
|
||||
|
||||
.PingContainer
|
||||
{
|
||||
background-color: #F55;
|
||||
border-radius: 2px;
|
||||
|
||||
/* Transition from green is gradual */
|
||||
transition: background-color 0.25s ease-in;
|
||||
}
|
||||
|
||||
|
||||
.PingContainerActive
|
||||
{
|
||||
background-color: #5F5;
|
||||
|
||||
/* Transition to green is instant */
|
||||
transition: none;
|
||||
}
|
||||
|
||||
|
||||
.SampleNameCell
|
||||
{
|
||||
width:243px;
|
||||
}
|
||||
.SampleTimeCell
|
||||
{
|
||||
width:52px;
|
||||
}
|
||||
.SampleCountCell
|
||||
{
|
||||
width:43px;
|
||||
}
|
||||
.SampleTitleNameCell
|
||||
{
|
||||
width:238px;
|
||||
|
||||
padding: 1px 1px 1px 2px;
|
||||
border: 1px solid;
|
||||
border-radius: 2px;
|
||||
|
||||
border-top-color:#555;
|
||||
border-left-color:#555;
|
||||
border-bottom-color:#111;
|
||||
border-right-color:#111;
|
||||
|
||||
background: #222;
|
||||
}
|
||||
.SampleTitleTimeCell
|
||||
{
|
||||
width:47px;
|
||||
|
||||
padding: 1px 1px 1px 2px;
|
||||
border: 1px solid;
|
||||
border-radius: 2px;
|
||||
|
||||
border-top-color:#555;
|
||||
border-left-color:#555;
|
||||
border-bottom-color:#111;
|
||||
border-right-color:#111;
|
||||
|
||||
background: #222;
|
||||
}
|
||||
.SampleTitleCountCell
|
||||
{
|
||||
width:38px;
|
||||
|
||||
padding: 1px 1px 1px 2px;
|
||||
border: 1px solid;
|
||||
border-radius: 2px;
|
||||
|
||||
border-top-color:#555;
|
||||
border-left-color:#555;
|
||||
border-bottom-color:#111;
|
||||
border-right-color:#111;
|
||||
|
||||
background: #222;
|
||||
}
|
||||
|
||||
|
||||
.TimelineBox
|
||||
{
|
||||
/* Following style generally copies GridRowCell.GridGroup from BrowserLib */
|
||||
|
||||
padding: 1px 1px 1px 2px;
|
||||
margin: 1px;
|
||||
|
||||
border: 1px solid;
|
||||
border-radius: 2px;
|
||||
border-top-color:#555;
|
||||
border-left-color:#555;
|
||||
border-bottom-color:#111;
|
||||
border-right-color:#111;
|
||||
|
||||
background: #222;
|
||||
|
||||
font: 9px Verdana;
|
||||
color: #BBB;
|
||||
}
|
||||
.TimelineRow
|
||||
{
|
||||
width: 100%;
|
||||
}
|
||||
.TimelineRowCheckbox
|
||||
{
|
||||
width: 12px;
|
||||
height: 12px;
|
||||
margin: 0px;
|
||||
}
|
||||
.TimelineRowCheck
|
||||
{
|
||||
/* Pull .TimelineRowExpand to the right of the checkbox */
|
||||
float:left;
|
||||
|
||||
width: 14px;
|
||||
height: 14px;
|
||||
}
|
||||
.TimelineRowExpand
|
||||
{
|
||||
/* Pull .TimelineRowLabel to the right of +/- buttons */
|
||||
float:left;
|
||||
|
||||
width: 14px;
|
||||
height: 14px;
|
||||
}
|
||||
.TimelineRowExpandButton
|
||||
{
|
||||
width: 11px;
|
||||
height: 12px;
|
||||
|
||||
color: #333;
|
||||
|
||||
border: 1px solid;
|
||||
|
||||
border-top-color:#F4F4F4;
|
||||
border-left-color:#F4F4F4;
|
||||
border-bottom-color:#8E8F8F;
|
||||
border-right-color:#8E8F8F;
|
||||
|
||||
/* Top-right to bottom-left grey background gradient */
|
||||
background: #f6f6f6; /* Old browsers */
|
||||
background: -moz-linear-gradient(-45deg, #f6f6f6 0%, #abaeb2 100%); /* FF3.6+ */
|
||||
background: -webkit-gradient(linear, left top, right bottom, color-stop(0%,#f6f6f6), color-stop(100%,#abaeb2)); /* Chrome,Safari4+ */
|
||||
background: -webkit-linear-gradient(-45deg, #f6f6f6 0%,#abaeb2 100%); /* Chrome10+,Safari5.1+ */
|
||||
background: -o-linear-gradient(-45deg, #f6f6f6 0%,#abaeb2 100%); /* Opera 11.10+ */
|
||||
background: -ms-linear-gradient(-45deg, #f6f6f6 0%,#abaeb2 100%); /* IE10+ */
|
||||
background: linear-gradient(135deg, #f6f6f6 0%,#abaeb2 100%); /* W3C */
|
||||
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#f6f6f6', endColorstr='#abaeb2',GradientType=1 ); /* IE6-9 fallback on horizontal gradient */
|
||||
|
||||
text-align: center;
|
||||
vertical-align: center;
|
||||
}
|
||||
.TimelineRowExpandButton:hover
|
||||
{
|
||||
border-top-color:#79C6F9;
|
||||
border-left-color:#79C6F9;
|
||||
border-bottom-color:#385D72;
|
||||
border-right-color:#385D72;
|
||||
|
||||
/* Top-right to bottom-left blue background gradient, matching border */
|
||||
background: #f3f3f3; /* Old browsers */
|
||||
background: -moz-linear-gradient(-45deg, #f3f3f3 0%, #79c6f9 100%); /* FF3.6+ */
|
||||
background: -webkit-gradient(linear, left top, right bottom, color-stop(0%,#f3f3f3), color-stop(100%,#79c6f9)); /* Chrome,Safari4+ */
|
||||
background: -webkit-linear-gradient(-45deg, #f3f3f3 0%,#79c6f9 100%); /* Chrome10+,Safari5.1+ */
|
||||
background: -o-linear-gradient(-45deg, #f3f3f3 0%,#79c6f9 100%); /* Opera 11.10+ */
|
||||
background: -ms-linear-gradient(-45deg, #f3f3f3 0%,#79c6f9 100%); /* IE10+ */
|
||||
background: linear-gradient(135deg, #f3f3f3 0%,#79c6f9 100%); /* W3C */
|
||||
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#f3f3f3', endColorstr='#79c6f9',GradientType=1 ); /* IE6-9 fallback on horizontal gradient */
|
||||
}
|
||||
.TimelineRowExpandButtonActive
|
||||
{
|
||||
/* Simple means of shifting text within a div to the bottom-right */
|
||||
padding-left:1px;
|
||||
padding-top:1px;
|
||||
width:10px;
|
||||
height:11px;
|
||||
}
|
||||
.TimelineRowLabel
|
||||
{
|
||||
float:left;
|
||||
|
||||
width: 140px;
|
||||
height: 14px;
|
||||
}
|
||||
|
||||
.TimelineContainer
|
||||
{
|
||||
}
|
||||
.TimelineLabels
|
||||
{
|
||||
padding: 0;
|
||||
margin: 0;
|
||||
border: 0;
|
||||
overflow-y: hidden;
|
||||
}
|
||||
.TimelineLabelScrollClipper
|
||||
{
|
||||
padding: 0;
|
||||
margin: 0;
|
||||
border: 0;
|
||||
overflow-y: hidden;
|
||||
}
|
||||
|
||||
.DropZone
|
||||
{
|
||||
/* Covers the whole page, initially hidden */
|
||||
box-sizing: border-box;
|
||||
display: none;
|
||||
position: fixed;
|
||||
width: 100%;
|
||||
height: 100%;
|
||||
left: 0;
|
||||
top: 0;
|
||||
|
||||
/* On top of everything possible */
|
||||
z-index: 99999;
|
||||
|
||||
/* Styling for when visible */
|
||||
background: rgba(32, 4, 136, 0.25);
|
||||
border: 3px dashed white;
|
||||
|
||||
/* Styling for text when visible */
|
||||
color: white;
|
||||
font-family: Arial, Helvetica, sans-serif;
|
||||
font-size: xx-large;
|
||||
align-items: center;
|
||||
justify-content: center;
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue