mirror of
https://github.com/reduxjs/redux-devtools.git
synced 2024-11-11 20:27:07 +03:00
47 lines
1.0 KiB
Plaintext
47 lines
1.0 KiB
Plaintext
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<title>Redux DevTools</title>
|
|
<style>
|
|
html {
|
|
min-width: 350px;
|
|
min-height: 300px;
|
|
}
|
|
body {
|
|
position: fixed;
|
|
overflow: hidden;
|
|
height: 100%;
|
|
width: 100%;
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
#root {
|
|
height: 100%;
|
|
}
|
|
#root > div {
|
|
height: 100%;
|
|
}
|
|
</style>
|
|
</head>
|
|
<body>
|
|
<div id="root"></div>
|
|
<script src="//unpkg.com/react@0.14/dist/react.min.js"></script>
|
|
<script src="//unpkg.com/react-dom@0.14/dist/react-dom.min.js"></script>
|
|
<script src="//unpkg.com/remotedev-app/dist/remotedev-app.min.js"></script>
|
|
<script>
|
|
window.remotedevOptions = {
|
|
hostname: location.hostname,
|
|
port: <%= port %>,
|
|
autoReconnect: true
|
|
};
|
|
ReactDOM.render(
|
|
React.createElement(RemoteDevApp, {
|
|
socketOptions: window.remotedevOptions
|
|
}),
|
|
document.querySelector('#root')
|
|
);
|
|
</script>
|
|
</body>
|
|
</html>
|