API tools faq
paste
Guest User

Untitled

a guest
May 27th, 2023
79
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
HTML 10.29 KB | None | 0 0
raw download clone embed print report
  1.  
  2. <!doctype html>
  3. <html>
  4.  
  5. <head>
  6.     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
  7.     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.4.1/jquery.min.js" integrity="sha256-CSXorXvZcTkaix6Yvo6HppcZGetbYMGWSFlBw8HfCJo=" crossorigin="anonymous"></script>
  8.     <script src="https://cdnjs.cloudflare.com/ajax/libs/angular.js/1.7.8/angular.js" integrity="sha256-47AQCzX6dqzjicKe4PabaBJtLnWffl34LU9WJUulNog=" crossorigin="anonymous"></script>
  9.     <script src="https://cdnjs.cloudflare.com/ajax/libs/ngStorage/0.3.11/ngStorage.min.js" integrity="sha256-0YzDSJS0qH+wpvug+Im1cMB9CX919NMtHj0d2VVHPp4=" crossorigin="anonymous"></script>
  10.     <link href="https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,600,700,800,900" rel="stylesheet" type="text/css">
  11.     <link href='https://fonts.googleapis.com/css?family=Lato:300,400,900' rel='stylesheet' type='text/css'>
  12.     <link href="https://fonts.googleapis.com/css?family=Inconsolata:400,700" rel="stylesheet" type="text/css">
  13.     <script src="app.js" type="module"></script>
  14.     <link rel="stylesheet" type="text/css" href="test.css">
  15. </head>
  16.  
  17. <body>
  18.     <div ng-app="player" class="player" ng-controller="PlayerCtrl" ng-cloak>
  19.  
  20.         <!-- ng-show="false" guarantees that this div will only be visible if angular loads but our app crashes -->
  21.         <div ng-show="false" class="module-load-error-overlay">
  22.             <div>The game's modules failed to load.</div>
  23.             <div>Check your browser's JavaScript console for details.</div>
  24.         </div>
  25.  
  26.         <div ng-show="showExportPopup" class="report-popup-wrapper">
  27.             <div class="report-popup">
  28.                 <div class="report-items-wrapper">
  29.                     <div ng-repeat="item in reportItems">
  30.                         <span class="report-item" ng-class="item.type">[<span ng-bind="item.type"></span>]</span> <span class="item-message" ng-bind="item.message"></span>
  31.                         <span ng-if="item.link">
  32.                             <a ng-href="{{item.link}}" target="_blank"> More info</a>
  33.                         </span>
  34.                         <ul ng-if="item.details" class="report-details-wrapper">
  35.                             <li><span ng-bind="item.details.name"></span></li>
  36.                             <li ng-repeat="(key, value) in item.details.params" class="report-details"><span ng-bind="key"></span>: <span ng-bind="value"></span></li>
  37.                         </ul>
  38.                     </div>
  39.                 </div>
  40.                 <div class="close-button-wrapper">
  41.                     <button class="close-button" ng-click="closeReportPopup()">Close</button>
  42.                 </div>
  43.             </div>
  44.         </div>
  45.  
  46.         <div ng-show="showViewReplayPopup" class="report-popup-wrapper">
  47.             <div class="viewer-popup">
  48.                 <div class="cg-player-sandbox-replay"></div>
  49.                 <div id="console" class="outputs-demo" ng-if="!isEmptyObject(errors)">
  50.                     <div class="output-log" ng-repeat="(key,value) in errors">
  51.                         <span class="collapsed-bubble" ng-if="value.quantity > 1">
  52.                             <span class="collapsed-count" ng-bind="value.quantity" ng-if="value.quantity <= 9">
  53.                             </span>
  54.                             <span class="collapsed-count small" ng-if="value.quantity > 9">
  55.                                 9+
  56.                             </span>
  57.                         </span>
  58.                         <span class="error-text" ng-bind="key"></span>
  59.                     </div>
  60.                 </div>
  61.  
  62.                 <div class="close-button-wrapper">
  63.                     <button class="close-button" ng-click="closeViewReplayPopup()">Close</button>
  64.                 </div>
  65.             </div>
  66.         </div>
  67.  
  68.         <div ng-show="showConfigForm" class="report-popup-wrapper">
  69.             <div class="form-popup">
  70.                 <form id="config-form" name="form">
  71.                     <p><span ng-bind="formStatement"></span></p>
  72.                     <div ng-if="config.type != 'solo' && config.type != 'opti'">
  73.                         <p>
  74.                             <label for="min_players">Min players*</label>
  75.                         </p>
  76.                         <p>
  77.                             <input required type="number" min="1" max="8" ng-model="config.minPlayers" step="1" />
  78.                         </p>
  79.                         <p>
  80.                             <label for="max_players">Max players*</label>
  81.                         </p>
  82.                         <p>
  83.                             <input required type="number" min="1" max="8" ng-model="config.maxPlayers" step="1" />
  84.                         </p>
  85.                     </div>
  86.                     <p>
  87.                         <label>
  88.                             <input type="radio" ng-model="config.type" value="multi" ng-required="!config.type">
  89.                             Multiplayer Game
  90.                         </label>
  91.                     </p>
  92.                     <p>
  93.                         <label>
  94.                             <input type="radio" ng-model="config.type" value="solo" ng-required="!config.type">
  95.                             Solo Game
  96.                         </label>
  97.                     </p>
  98.                     <p>
  99.                         <label>
  100.                             <input type="radio" ng-model="config.type" value="opti" ng-required="!config.type">
  101.                             Solo Game with Optimization
  102.                         </label>
  103.                     </p>
  104.                     <div ng-if="config.type == 'opti'">
  105.                         <p>
  106.                             <label for="criteria">Criteria*</label>
  107.                         </p>
  108.                         <p>
  109.                             <input required type="text" ng-model="config.criteria" />
  110.                         </p>
  111.                         <p>
  112.                             <label for="sorting_order">Sorting order*</label>
  113.                         </p>
  114.                         <p>
  115.                             <select required ng-model="config.sortingOrder">
  116.                                 <option value="asc">Ascendant</option>
  117.                                 <option value="desc">Descendant</option>
  118.                             </select>
  119.                         </p>
  120.                         <p>
  121.                             <label>
  122.                                 <input type="checkbox" ng-model="configForm.translate" value="true">
  123.                                 Translate criteria
  124.                             </label>
  125.                         </p>
  126.                         <div ng-if="configForm.translate">
  127.                             <p>
  128.                                 <label for="criteria">English criteria</label>
  129.                             </p>
  130.                             <p>
  131.                                 <input required type="text" ng-model="config.criteriaEn" />
  132.                             </p>
  133.                             <p>
  134.                                 <label for="criteria">French criteria</label>
  135.                             </p>
  136.                             <p>
  137.                                 <input required type="text" ng-model="config.criteriaFr" />
  138.                             </p>
  139.                         </div>
  140.                     </div>
  141.                     <div class="close-button-wrapper">
  142.                         <button class="close-button" type="submit" ng-click="submitConfig(form.$valid, config)">Submit config</button>
  143.                     </div>
  144.                 </form>
  145.             </div>
  146.         </div>
  147.  
  148.         <div class="main-wrapper" ng-style="{'user-select': userSelect}">
  149.             <div class="left-wrapper left-bloc">
  150.                 <div class="viewer-container">
  151.                     <div class="viewer-wrapper">
  152.                         <div class="cg-player-sandbox"></div>
  153.                     </div>
  154.                 </div>
  155.  
  156.                 <div class="game-outputs">
  157.                     <div class="game-outputs-up">
  158.                         <div class="game-outputs-up-log">
  159.                             <div class="output-frame">
  160.                                 <div class="game-outputs-title">Game errors</div>
  161.                                 <div id="console" class="outputs">
  162.                                     <div class="output-log" ng-repeat="(key,value) in errors" ng-if="errors">
  163.                                         <span class="collapsed-bubble" ng-if="value.quantity > 1">
  164.                                             <span class="collapsed-count" ng-bind="value.quantity" ng-if="value.quantity < 9">
  165.                                             </span>
  166.                                             <span class="collapsed-count" ng-if="value.quantity > 9">
  167.                                                 +
  168.                                             </span>
  169.                                         </span>
  170.                                         <span class="error-text" ng-bind="key"></span>
  171.                                     </div>
  172.                                 </div>
  173.                             </div>
  174.                         </div>
  175.                         <div class="game-outputs-up-uinput">
  176.                             <div class="output-frame">
  177.                                 <div class="game-outputs-title">Game properties</div>
  178.                                 <div id="console" class="outputs" ng-bind="uinput[0]" readonly></div>
  179.                             </div>
  180.                         </div>
  181.                         <div class="game-outputs-up-buttons-wrapper">
  182.                             <button class="game-button main-button" ng-click="exportZip()">
  183.                                 Export Project
  184.                             </button>
  185.                             <button class="game-button secondary-button"
  186.                                 ng-disabled="selectProgress !== 'inactive'"
  187.                                 ng-click="selectReplay()">
  188.                                 <span ng-if="selectProgress === 'inactive'">Set intro replay</span>
  189.                                 <span ng-if="selectProgress === 'saving'">Saving...</span>
  190.                                 <span ng-if="selectProgress === 'complete'">Intro replay saved!</span>
  191.                             </button>
  192.                             <button class="game-button secondary-button" ng-disabled="!isReplayAvailable()" ng-click="viewReplay()">
  193.                                 View intro replay
  194.                             </button>
  195.                         </div>
  196.                     </div>
  197.  
  198.                     <div class="game-outputs-down">
  199.                         <div class="game-outputs-down-referee">
  200.                             <div class="game-outputs-title">Referee</div>
  201.                             <div class="console-output-frame">
  202.                                 <div class="console-output-wrapper">
  203.                                     <div class="console-output-stdout">
  204.                                         <div class="game-outputs-down-referee-title">Standard Output</div>
  205.                                         <div class="console-outputs pre-wrap" ng-bind="referee.stdout"></div>
  206.                                     </div>
  207.                                     <hr class="outputs-seperator">
  208.                                     <div class="console-output-stderr">
  209.                                         <div class="game-outputs-down-referee-title">Standard Error</div>
  210.                                         <div class="console-outputs pre-wrap" ng-bind="referee.stderr"></div>
  211.                                     </div>
  212.                                 </div>
  213.                             </div>
  214.                         </div>
  215.  
  216.                         <div class="game-outputs-down-summary">
  217.                             <div class="output-frame">
  218.                                 <div class="game-outputs-title">Game Summary</div>
  219.                                 <div id="console" class="outputs" ng-bind-html="summary | formatConsole:agents" readonly></div>
  220.                             </div>
  221.                         </div>
  222.                     </div>
  223.                 </div>
  224.             </div>
  225.  
  226.             <div class="resize-handle" resize-handle data-enabled="layoutEnabled"></div>
  227.  
  228.             <div class="players-outputs-wrapper right-bloc">
  229.                 <div id="output-players" class="players-outputs-frame" ng-class="{'less-or-equal-than-two-players': lessOrEqualThanTwoPlayers()}">
  230.                     <div ng-repeat="(index, agent) in agents" class="players-outputs-player" >
  231.                         <div class="players-outputs-player-header" ng-style="{'border-color': playerColors[agent.index]}">
  232.                             <svg class="players-outputs-player-header-image" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16.031 16" ng-style="{'fill': playerColors[agent.index]}">
  233.                                 <path id="User_16" d="M903.019,44H889a1,1,0,0,1-1-1c0-2.708,2.514-4.882,5.541-5.673a5,5,0,1,1,4.919,0c2.955,0.769,5.436,2.848,5.535,5.454A1,1,0,0,1,903.019,44ZM896,30a3,3,0,1,0,3,3A3,3,0,0,0,896,30Zm0,9c-2.461,0-5.349,1.214-5.862,3h11.723C901.348,40.213,898.46,39,896,39Z" transform="translate(-888 -28)"/>
  234.                             </svg>
  235.                             <div class="players-outputs-player-header-title" >{{agent.name}}</div>
  236.                         </div>
  237.                         <div class="console-output-frame">
  238.                             <div class="console-output-wrapper">
  239.                                 <div class="console-output-stdout">
  240.                                     <div class="players-outputs-player-console-title" ng-style="{color: playerColors[agent.index]}">Standard Output</div>
  241.                                     <pre class="console-outputs" ng-bind="agent.stdout"></pre>
  242.                                 </div>
  243.                                 <hr class="outputs-seperator">
  244.                                 <div class="console-output-stderr">
  245.                                     <div class="players-outputs-player-console-title" ng-style="{'color': playerColors[agent.index]}">Standard Error</div>
  246.                                     <pre class="console-outputs" ng-bind="agent.stderr"></pre>
  247.                                 </div>
  248.                             </div>
  249.                         </div>
  250.                     </div>
  251.                 </div>
  252.             </div>
  253.         </div>
  254.  
  255.     </div>
  256. </body>
  257.  
  258. </html>
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!