Merge branch 'dev' into main
feat: add pages of options
Merge branch '4.x-dev' into main
update version number
Merge branch '4.x-dev'
Merge pull request OpenWebGAL#184 from MakinoharaShoko/4.x-dev fix tiny problems