2. scroll down to TaskBar
-you should see a gear for the settings, click on the gear
-a new window opens up
3. Go to the Misc tab
-if it's hidden, you can click the right arrow until you get to Misc,or just make the window bigger
4. Turn "ON" Disable Hot Corner
5. Close the the TaskBar window and gnome-shell-extension-prefs and you're done!
**I don't remember installing an extension to disable the hot corner so...if you don't find it, let me know!
