Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -224,7 +224,6 @@ def main():
|
|
224 |
'similarity_score': similarity_score,
|
225 |
'highlighted_diff1': highlighted_diff1,
|
226 |
'highlighted_diff2': highlighted_diff2,
|
227 |
-
|
228 |
}
|
229 |
|
230 |
|
@@ -249,7 +248,7 @@ def main():
|
|
249 |
st.markdown(diff2_content, unsafe_allow_html=True)
|
250 |
|
251 |
# JavaScript for synchronized scrolling of the difference panes
|
252 |
-
diff_scroll_script = """
|
253 |
<script>
|
254 |
function syncDiffScroll(id, otherId) {
|
255 |
var element = document.getElementById(id);
|
@@ -266,7 +265,7 @@ def main():
|
|
266 |
// Execute this script after the elements are rendered
|
267 |
setTimeout(function() {
|
268 |
syncDiffScroll('diff1_text', 'diff2_text');
|
269 |
-
},
|
270 |
</script>
|
271 |
"""
|
272 |
components.html(diff_scroll_script, height=0)
|
|
|
224 |
'similarity_score': similarity_score,
|
225 |
'highlighted_diff1': highlighted_diff1,
|
226 |
'highlighted_diff2': highlighted_diff2,
|
|
|
227 |
}
|
228 |
|
229 |
|
|
|
248 |
st.markdown(diff2_content, unsafe_allow_html=True)
|
249 |
|
250 |
# JavaScript for synchronized scrolling of the difference panes
|
251 |
+
diff_scroll_script = f"""
|
252 |
<script>
|
253 |
function syncDiffScroll(id, otherId) {
|
254 |
var element = document.getElementById(id);
|
|
|
265 |
// Execute this script after the elements are rendered
|
266 |
setTimeout(function() {
|
267 |
syncDiffScroll('diff1_text', 'diff2_text');
|
268 |
+
}, 200); // Increased delay to ensure rendering
|
269 |
</script>
|
270 |
"""
|
271 |
components.html(diff_scroll_script, height=0)
|