diff -r c325749651d1 -r 4b2de1a0fbf9 exemples/svghmi_csv_json_img_table/py_ext_0@py_ext/pyfile.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/exemples/svghmi_csv_json_img_table/py_ext_0@py_ext/pyfile.xml Mon Dec 02 11:33:19 2024 +0100 @@ -0,0 +1,144 @@ + + + + + + + + + 0 and extra[0] != "": + fFiles = [fl for fl in FileList if extra[0] in fl] + else: + fFiles = FileList[:] + new_range = len(fFiles) + delta = new_range - visible + new_position = 0 if delta <= 0 else delta if old_position > delta else old_position + new_visible = new_range if delta <= 0 else visible + + visible_files = [] + for desc in fFiles[new_position:new_position + new_visible]: + visible_files.append(desc) + + return new_range, new_position, visible_files + + +]]> + + + + + + + + + + + + + +