Does all editing of WordPress occur within the dashboard, or can we use our own text editor?

This answer assumes that by dashboard, you’re pointing to the in-built editor accessible from under Appearance > Editor

You can use whatever editor you like, they are just normal php files. Open your wordpress install folder, go to “wp-content/themes/”. That directory has all the files. If it’s hosted on some other server you may need FTP access