Settings > System > Display > Advanced display settings. Choose the display you want to record. Click on "Change resolution" and set the desired resolution. Higher resolution will result in better video quality but larger file size.