From a78ce91b3b212c3baf50d0893a286662a648c703 Mon Sep 17 00:00:00 2001
From: Peder Bergebakken Sundt <pbsds@hotmail.com>
Date: Sun, 24 Nov 2019 16:21:21 +0100
Subject: [PATCH] Fix playlist table jitter

---
 grzegorz_clients/remi_ui.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/grzegorz_clients/remi_ui.py b/grzegorz_clients/remi_ui.py
index dafb597..fee2977 100644
--- a/grzegorz_clients/remi_ui.py
+++ b/grzegorz_clients/remi_ui.py
@@ -14,6 +14,7 @@ WIDTH = WIDTH_L  + 40 + WIDTH_R
 class RemiApp(App):
 	def __init__(self, *args):
 		res_path = os.path.join(os.path.dirname(__file__), 'res')
+		self.old_playlist = None
 		super(RemiApp, self).__init__(*args, static_file_path=res_path)
 		
 	def make_gui_elements(self):#content and behaviour
@@ -321,6 +322,9 @@ class RemiApp(App):
 				ICON_TRASH,
 			])
 
+		if table == self.old_playlist: return
+		self.old_playlist = table
+
 		self.playlist.table.empty(keep_title=True)
 		self.playlist.table.append_from_list(table)