Junjie
2023-05-15 f4cae05606b4ed5ca8f1cf5f4a93c90f274f1697
src/main/webapp/static/js/console.js
@@ -93,10 +93,12 @@
        let stnss = areas[i].stns
        let floor = areas[i].text
        console.log(areas[i].top)
        floorId = areas[i].id
        var position = (i+1)*100
        floorBtn =
            "<button class='floorBtn btn-16' onclick='changFloor("+i+")' style='top: "+position+"px;'>" + floor +"</button>"
        console.log(mapInfo.areas[0].floors.length)
        if (mapInfo.areas[0].floors.length == 1) {
            floorBtnss = ''
        } else {