Tlačítko na refresh (FUJ!)

korektury/static/korektury/opraf.css

@@ -55,6 +55,32 @@ img{background:white;}
 	.toggle-button { transform: rotate(180deg); }
 }
 
+/* Tlačítko na aktualizaci */
+
+#korektury-aktualizace {
+	position: absolute;
+	right: 10px;
+	top: 10px;
+
+	border-radius: 10px;
+
+
+	/* copy-paste .button */
+	margin: 10px 0 10px 0;
+	padding: 4px 0; /*vertikální centování textu*/
+	text-align: center;
+	background-color: #e84e10;
+	color: #fffbf6;
+	font-size: 150%;
+	font-weight: bold;
+	font-variant: small-caps;
+	filter: drop-shadow(0px 5px 5px rgba(0, 0, 0, 0.4));
+
+	&:hover {
+		background-color: #df490e;
+	}
+}
+
 /* Čára od textu k místu korektury */
 .pointer{ 
 	position:absolute;

korektury/templates/korektury/korekturovatko/_main.html

@@ -8,6 +8,8 @@
 
 {% include "korektury/korekturovatko/__dalsi_korektura.html" %}
 
+<button type="button" id="korektury-aktualizace">Aktualizuj korektury.</button>
+
 <script>
   /**
    *
@@ -36,6 +38,9 @@
 
   update_all();
 
+  // FIXME není mi jasné, zda v {} nemá být `cache: "no-store"`, aby prohlížeč necachoval GET.
+  document.getElementById("korektury-aktualizace").addEventListener("click", _ => update_all({}, false));
+
   // FIXME není mi jasné, zda v {} nemá být `cache: "no-store"`, aby prohlížeč necachoval GET.
   setInterval(() => update_all({}, false), 120000); // Každý dvě minuty fetchni korektury
 </script>