mirror of
				https://github.com/reduxjs/redux-devtools.git
				synced 2025-11-04 09:57:26 +03:00 
			
		
		
		
	* Use rollup for d3tooltip * Use rollup for map2tree * Set moduleResolution * Use rollup for d3-state-visualizer * Use rollup for react-base16-styling * Use rollup for react-dock * Use rollup for react-json-tree * Use rollup for redux-devtools * Use rollup for redux-devtools-intrument * Use rollup for redux-devtools-chart-monitor * Update export * Use rollup for redux-devtools-dock-monitor * Use rollup for redux-devtools-inspector-monitor * Fix inspector demo * Fix invalid eslint config * Use rollup for inspector-monitor-test-tab * Use rollup for inspector-monitor-trace-tab * Use rollup for redux-devtools-log-monitor * Use rollup for redux-devtools-remote * Use rollup in redux-devtools-rtk-query-monitor * Use rollup for redux-devtools-serialize * Fix redux-devtools examples * Use rollup for redux-devtools-slider-monitor * Fix slider examples * Use rollup for redux-devtools-ui * Use rollup for redux-devtools-utils * Use rollup for redux-devtools-extension * Use rollup for redux-devtools-app * Fix Webpack app build * Fix extension build * Turn on minimization * Update CLI
		
			
				
	
	
		
			47 lines
		
	
	
		
			1017 B
		
	
	
	
		
			HTML
		
	
	
	
	
	
			
		
		
	
	
			47 lines
		
	
	
		
			1017 B
		
	
	
	
		
			HTML
		
	
	
	
	
	
<!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="/react.production.min.js"></script>
 | 
						|
    <script src="/react-dom.production.min.js"></script>
 | 
						|
    <script src="/redux-devtools-app.min.js"></script>
 | 
						|
    <script src="/port.js"></script>
 | 
						|
    <script>
 | 
						|
      ReactDOM.render(
 | 
						|
        React.createElement(ReduxDevToolsApp, {
 | 
						|
          socketOptions: {
 | 
						|
            hostname: location.hostname,
 | 
						|
            port: reduxDevToolsPort,
 | 
						|
            autoReconnect: true,
 | 
						|
          },
 | 
						|
        }),
 | 
						|
        document.querySelector('#root')
 | 
						|
      );
 | 
						|
    </script>
 | 
						|
  </body>
 | 
						|
</html>
 |