[gui/design] toggle vanilla dimensions flag on overlay toggle#1410

myk002 merged 1 commit intoDFHack:masterDFHack/scripts:masterfrom

myk002:myk_no_double_dimensionsmyk002/scripts:myk_no_double_dimensionsCopy head branch name to clipboard