move prime generation out
This commit is contained in:
parent
3f0dbc06f7
commit
d6d31566b9
@ -91,3 +91,11 @@
|
|||||||
.west {
|
.west {
|
||||||
border-color: darkblue;
|
border-color: darkblue;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#info {
|
||||||
|
font-size: 1.2em;
|
||||||
|
font-family: monospace;
|
||||||
|
position: fixed;
|
||||||
|
bottom: 0;
|
||||||
|
right: 0;
|
||||||
|
}
|
||||||
|
@ -86,3 +86,15 @@ document.addEventListener("DOMContentLoaded", () => {
|
|||||||
})
|
})
|
||||||
);
|
);
|
||||||
});
|
});
|
||||||
|
|
||||||
|
function addInfoMessage(message) {
|
||||||
|
let child = document.createElement("div");
|
||||||
|
child.textContent = message;
|
||||||
|
|
||||||
|
let info = document.querySelector("#info");
|
||||||
|
info.appendChild(child);
|
||||||
|
|
||||||
|
setTimeout(() => {
|
||||||
|
info.removeChild(child);
|
||||||
|
}, 8000);
|
||||||
|
}
|
||||||
|
File diff suppressed because it is too large
Load Diff
1340
static/js/random_primes.js
Normal file
1340
static/js/random_primes.js
Normal file
File diff suppressed because it is too large
Load Diff
@ -14,6 +14,7 @@
|
|||||||
<script src="{{ url_for('static', filename='js/barrier.js') }}"></script>
|
<script src="{{ url_for('static', filename='js/barrier.js') }}"></script>
|
||||||
<script src="{{ url_for('static', filename='js/packet.js') }}"></script>
|
<script src="{{ url_for('static', filename='js/packet.js') }}"></script>
|
||||||
<script src="{{ url_for('static', filename='js/map.js') }}"></script>
|
<script src="{{ url_for('static', filename='js/map.js') }}"></script>
|
||||||
|
<script src="{{ url_for('static', filename='js/random_primes.js') }}"></script>
|
||||||
<script src="{{ url_for('static', filename='js/paillier.js') }}"></script>
|
<script src="{{ url_for('static', filename='js/paillier.js') }}"></script>
|
||||||
</head>
|
</head>
|
||||||
<body>
|
<body>
|
||||||
@ -24,6 +25,9 @@
|
|||||||
</ul>
|
</ul>
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
|
<div id="info">
|
||||||
|
</div>
|
||||||
|
|
||||||
<div id="map">
|
<div id="map">
|
||||||
<svg id="map-back" viewBox="-520 -520 1000 1000" width="1000" height="1000">
|
<svg id="map-back" viewBox="-520 -520 1000 1000" width="1000" height="1000">
|
||||||
<line x1="0" y1="0" x2="160" y2="0" stroke="black"></line>
|
<line x1="0" y1="0" x2="160" y2="0" stroke="black"></line>
|
||||||
|
Loading…
Reference in New Issue
Block a user