Folder names (#318)

2023-07-21 20:16:07 -07:00
parent 4941260805
commit 3fa33dc241
42 changed files with 1129 additions and 535 deletions
--- a/theseus/src/api/mod.rs
+++ b/theseus/src/api/mod.rs
@@ -29,6 +29,7 @@ pub mod prelude {
        profile::{self, Profile},
        profile_create, settings,
        state::JavaGlobals,
+        state::{ProfilePathId, ProjectPathId},
        util::{
            io::{canonicalize, IOError},
            jre::JavaVersion,