Move the file selector out of the editor itself; closes #2147

This commit is contained in:
Dane Everitt 2020-08-19 21:11:29 -07:00
parent 540cc82e3d
commit 13ace83f42
No known key found for this signature in database
GPG key ID: EEA66103B3D71F53
4 changed files with 36 additions and 44 deletions

View file

@ -1,3 +1,4 @@
// This file must be plain Javascript since we're using it within Webpack.
module.exports = {
assembly_x86: 'Assembly (x86)',
c_cpp: 'C++',