rhamt-vscode-extension
Version:
RHAMT VSCode extension
113 lines (95 loc) • 3.83 kB
HTML
<html>
<head>
<link rel="stylesheet" type="text/css" href="configuration.css"></link>
<script src='../node_modules/d3/d3.js' charset="UTF-8"></script>
<script>window.exports = {};</script>
<script src="../node_modules/socket.io-client/dist/socket.io.js"></script>
<script>
io = exports.io;
</script>
<script src="../out/configuration/configClient.js"></script>
</head>
<body>
<div id="states" class="state-initial">
</script>
<header>
<img id="cosmos" src="cosmos.png">
<h1 id="title">
<!-- placeholder -->
</h1>
</header>
<div>
<div>
<input id="queryInput" type="text" placeholder='Enter gremlin query ("g.V()" for all vertices)'></input>
<button id="executeButton" onclick="onExecuteClick()">Execute</button>
</div>
</div>
<div id="radioButtons" class="toggle-radio-buttons">
<input type="radio" id="graphRadio" name="resultsToggle" value="graph" checked onclick="selectGraphView()">
<label for="graphRadio">Graph</label>
<input type="radio" id="jsonRadio" name="resultsToggle" value="json" onclick="selectJsonView()">
<label for="jsonRadio">JSON</label>
</div>
<div id="resultsBackground" width="100%">
<textarea id="queryError" class="error" readonly="readonly" width="100%"></textarea>
<div id="resultsSection">
<div id="graphSection" class="active">
<svg>
<defs></defs>
</svg>
<div id="graphWatermark" class="watermark">
<div id="nonGraphResults">
The results cannot be displayed visually. Please see the JSON tab for detailed results.
</div>
<div id="emptyResults">
The returned results are empty. Please enter a query and click Execute.
</div>
</div>
</div>
<div id="jsonSection">
<textarea id="jsonResults"></textarea>
</div>
</div>
<div id="initialWatermark" class="watermark">
No data has been loaded. Please enter a query and click Execute.
</div>
<div id="queryStatus">Querying...</div>
</div>
<div id="statsBackground">
<div id="stats"></div>
</div>
<div id="debug" style="display:none">
<h2>Debug log</h2>
<textarea id="debugLog"></textarea>
</div>
<script>
// Retrieve port from query string
var [, port] = window.location.search.match(/port=(.*)/);
var configClient = new ConfigClient(parseInt(port));
window.onload = () => {
configClient.getPageState();
configClient.copyParentStyleSheets();
}
queryInput.onchange = () => {
//configClient.setQuery(queryInput.value);
};
function onExecuteClick() {
//configClient.query(queryInput.value);
}
function selectGraphView() {
//configClient.selectGraphView();
}
function selectJsonView() {
//configClient.selectJsonView();
}
document.getElementById("queryInput").addEventListener("keydown", function (e) {
if (e.keyCode === 13 /* enter */) {
onExecuteClick();
}
})
</script>
</div>
</body>
</html>