[ADD] 調整JNDI設定

Jack

2022-05-05 03aa5c0b739f6707bdc04271fda7a7eb5189ce83

1
2
3
4
5
6
7
8
export default function (to, from, savedPosition) {
    if (savedPosition) {
        return savedPosition;
    } else {
        document.body.scrollTop = 0;
        document.documentElement.scrollTop = 0;
    }
}