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.',
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.',