implemented editor selector
All checks were successful
Build CI / AMD64 Build (push) Successful in 2m1s
Build CI / ARM64 Build (push) Successful in 6m53s

This commit is contained in:
2026-02-26 20:40:17 +05:30
parent d3a00dc394
commit 50c52b7619
3 changed files with 41 additions and 12 deletions

View File

@@ -6,10 +6,10 @@ class Project {
final String name;
final String language;
final File path;
final Editor? e0;
final Editor? e1;
final Editor? e2;
final Editor? e3;
final String? e0;
final String? e1;
final String? e2;
final String? e3;
final bool isGit;
Project(
@@ -60,10 +60,10 @@ class Project {
}
factory Project.fromJson(Map<String, dynamic> data) {
final Editor? e0 = data["e0"];
final Editor? e1 = data["e1"];
final Editor? e2 = data["e2"];
final Editor? e3 = data["e3"];
final String? e0 = data["e0"];
final String? e1 = data["e1"];
final String? e2 = data["e2"];
final String? e3 = data["e3"];
return Project(
data["name"] as String,
data["language"] as String,