Time line : time slider added and few fixes

EtienneAb3d · Jun 9, 2023 · d1c0adf · d1c0adf
1 parent 5a4a9eb
commit d1c0adf
Show file tree

Hide file tree

Showing 2 changed files with 158 additions and 145 deletions.
diff --git a/src/com/cubaix/kai/KaiEditor.java b/src/com/cubaix/kai/KaiEditor.java
@@ -560,7 +560,7 @@ public void run() {
 
 	void seek(long aTimeMS) {
 
-		//Ajout boolean pour savoir si des threads sont déjà en cours d'execution
+		//flag to avoid multiple thread execution that can desynchronize players (mainly used in the time line menu, advance and forward buttons)
 		currentlySeeking = true;
 
 		Thread aTh = new Thread(new Runnable() {
@@ -1058,7 +1058,7 @@ public void run() {
 //						editorContentHistory.add(editor.getText().replaceAll("\r*\n","\n"));
 						editorContentHistory.add(editor.getText());
 						song.kaiSrt.setLinesChunk(editor.getText());
-						kaiTimeLine.needRedraw("init");
+						kaiTimeLine.needRedraw(3);
 					}
 				}
 			});
@@ -1169,7 +1169,7 @@ public void run() {
 		if (notCtrlPressed) {
 			viewer.screener.needRedraw();
 			logoPanel.needRedraw();
-			kaiTimeLine.needRedraw("editor");
+			kaiTimeLine.needRedraw(1);
 		}
 	}