The option to change the resolution of Minecraft is missing

Duplicate of #46. In the meantime, please use the shortcut Shift + P to temporarily access the vanilla Video settings menu and set the desired resolution.