]> mop.ddnsfree.com - git repositories - brisk.git/commitdiff
renamed close button
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Mon, 4 May 2020 06:09:30 +0000 (08:09 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Mon, 4 May 2020 06:09:30 +0000 (08:09 +0200)
web/briskin5/briskin5.js

index 9bd4a29831a4c00f04644432bf4ab6d34af3f866..bdbf6eb52f640412e2f4b0da3027c887370f2a3b 100644 (file)
@@ -356,7 +356,7 @@ function act_preferences_update()
     if (preferences.deck != preferences.deck_old) {
         // FIXME: with dynamic text
         x = new notify(gst,'<br/>Per rendere visibile il nuovo mazzo di carte<br/><br/>occorre fare reload della pagina.',
-                       0, "Close", 400, 110);
+                       0, "Chiudi", 400, 110);
     }
     preferences_showhide();
 }