Fix default window sizes and extensions config table#1789

mkrnr merged 5 commits intomainopensteno/plover:mainfrom

change-default-main-window-sizeopensteno/plover:change-default-main-window-sizeCopy head branch name to clipboard