This repository was archived by the owner on Jan 4, 2021. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +11
-3
lines changed
examples/non-version-specific Expand file tree Collapse file tree 2 files changed +11
-3
lines changed Original file line number Diff line number Diff line change 846846 < td class ="coverage "> < span data-ice ="coverage "> 100 %</ span > < span data-ice ="coverageCount " class ="coverage-count "> 3/3</ span > </ td >
847847 < td style ="display: none; " data-ice ="size "> 18223 byte</ td >
848848 < td style ="display: none; " data-ice ="lines "> 473</ td >
849- < td style ="display: none; " data-ice ="updated "> 2018-01-05 13:47:46 (UTC)</ td >
849+ < td style ="display: none; " data-ice ="updated "> 2018-01-06 12:56:40 (UTC)</ td >
850850 </ tr >
851851< tr data-ice ="file ">
852852 < td data-ice ="filePath "> < span > < a href ="file/src/util/ModelStats.js.html "> src/util/ModelStats.js</ a > </ span > </ td >
Original file line number Diff line number Diff line change 1313 < link rel ="stylesheet " href ="../../dist/myscript.min.css "/>
1414 < link rel ="stylesheet " href ="../examples.css ">
1515
16+ < style >
17+ # export-result {
18+ height : 100px ;
19+ padding : 12px ;
20+ overflow : auto;
21+ }
22+ </ style >
23+
1624 <!-- Live reload with webpack -->
1725 < script type ="text/javascript " src ="http://localhost:8080/webpack-dev-server.js "> </ script >
1826 < script src ="https://code.jquery.com/pep/0.4.3/pep.js "> </ script >
1927 < script type ="text/javascript " src ="../../dist/myscript.min.js "> </ script >
2028 </ head >
2129
2230 < body touch-action ="none ">
23- < div id ="result "> </ div >
31+ < div id ="export- result "> </ div >
2432 < div >
2533 < nav >
2634 < div class ="button-div ">
4149 </ div >
4250 < script >
4351 var editorElement = document . getElementById ( 'editor' ) ;
44- var resultElement = document . getElementById ( 'result' ) ;
52+ var resultElement = document . getElementById ( 'export- result' ) ;
4553 var undoElement = document . getElementById ( 'undo' ) ;
4654 var redoElement = document . getElementById ( 'redo' ) ;
4755 var clearElement = document . getElementById ( 'clear' ) ;
You can’t perform that action at this time.
0 commit comments