From 21635f11670b56d40a7697553177580a6cc4658b Mon Sep 17 00:00:00 2001 From: ivmartel Date: Mon, 10 Jun 2024 10:21:37 +0200 Subject: [PATCH] Fix lint --- src/appgui.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/appgui.js b/src/appgui.js index df6b7d8..40ff9f7 100644 --- a/src/appgui.js +++ b/src/appgui.js @@ -305,9 +305,9 @@ dwvsimple.Gui = function (app, tools, uid) { }; app.setDataViewConfigs(config); // render data - const dataIds = app.getDataIds(); - for (const dataId of dataIds) { - app.render(dataId); + var dataIds = app.getDataIds(); + for (var i = 0; i < dataIds.length; ++i) { + app.render(dataIds[i]); } };