Instructor: If you accidentally recorded your screen at the wrong resolution, you can check in File-Document Settings. You'll see the width here is 2880 by 1800, which is the default, high dpi resolution on a MacBook Pro.
We wanted to record at 1280 by 720. Since we recorded in the high resolution, I'm going to double that to 2560 by 1440. This is just 1280 by 720 times two. Since we recorded in high dpi, we have enough pixels for that.
Click Update, and you'll see it automatically crops, and our video is larger than Document Settings. I'm going to select all of the video clips of the edit that I made.
Then I'm going to start by dragging the upper left-hand corner to match, and then drag in the right side to match. This is going to crop off 180 pixels from the high dpi, or just 90 pixels from the low resolution.
Make sure to scrub through to make sure you didn't lose any important information. We'll zoom in the timeline and scrub through. Looks like all of my code is above the crop.
If something went below, you would have to creatively either shift this up somehow. I don't think that will happen too often, as you rarely use the very bottom of the screen.
Then you can just go back to your File-Export and everything should be fine.