Timer bar now adjusts height correctly #499

src/Disp.js

@@ -609,6 +609,10 @@ CM.Disp.UpdateTimerBar = function() {
 		if (numberOfTimers != 0) {
 			CM.Disp.TimerBar.style.height = numberOfTimers * 12 + 2 + 'px';
 		}
+		if (CM.Disp.LastNumberOfTimers != numberOfTimers) {
+			CM.Disp.LastNumberOfTimers = numberOfTimers
+			CM.Disp.UpdateBotTimerBarPosition();
+		}
 	}
 }