Update correctly playlist font sizes when changing

TT-ReBORN · Nov 30, 2021 · abfe27f · abfe27f
1 parent 16a922f
commit abfe27f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/profile/georgia-reborn/js/georgia-reborn-main.js b/profile/georgia-reborn/js/georgia-reborn-main.js
@@ -1922,6 +1922,7 @@ function onOptionsMenu(x, y) {
 			pref.font_size_playlist_header = size;
 		}
 		createPlaylistFonts();
+		reinitPlaylist();
 		playlist.on_size(ww, wh);
 		window.Repaint();
 	});
@@ -1936,6 +1937,7 @@ function onOptionsMenu(x, y) {
 		}
 		g_properties.row_h = Math.round(pref.font_size_playlist * 1.667);
 		createPlaylistFonts();
+		reinitPlaylist();
 		playlist.on_size(ww, wh);
 		window.Repaint();
 	});