1
+ {
2
+ "private" : true ,
3
+ "name" : " browser-app" ,
4
+ "version" : " 2.0.0" ,
5
+ "license" : " AGPL-3.0-or-later" ,
6
+ "dependencies" : {
7
+ "@theia/core" : " 1.41.0" ,
8
+ "@theia/debug" : " 1.41.0" ,
9
+ "@theia/editor" : " 1.41.0" ,
10
+ "@theia/file-search" : " 1.41.0" ,
11
+ "@theia/filesystem" : " 1.41.0" ,
12
+ "@theia/keymaps" : " 1.41.0" ,
13
+ "@theia/messages" : " 1.41.0" ,
14
+ "@theia/monaco" : " 1.41.0" ,
15
+ "@theia/navigator" : " 1.41.0" ,
16
+ "@theia/plugin-ext" : " 1.41.0" ,
17
+ "@theia/plugin-ext-vscode" : " 1.41.0" ,
18
+ "@theia/preferences" : " 1.41.0" ,
19
+ "@theia/process" : " 1.41.0" ,
20
+ "@theia/terminal" : " 1.41.0" ,
21
+ "@theia/workspace" : " 1.41.0" ,
22
+ "arduino-ide-extension" : " 2.3.5"
23
+ },
24
+ "devDependencies" : {
25
+ "@theia/cli" : " 1.41.0"
26
+ },
27
+ "scripts" : {
28
+ "prepare" : " theia build --mode development" ,
29
+ "start" : " theia start --plugins=local-dir:../plugins" ,
30
+ "watch" : " theia build --watch --mode development"
31
+ },
32
+ "theia" : {
33
+ "frontend" : {
34
+ "config" : {
35
+ "applicationName" : " Arduino IDE" ,
36
+ "defaultTheme" : " arduino-theme" ,
37
+ "preferences" : {
38
+ "files.autoSave" : " afterDelay" ,
39
+ "editor.minimap.enabled" : false ,
40
+ "editor.tabSize" : 2 ,
41
+ "editor.scrollBeyondLastLine" : false ,
42
+ "editor.quickSuggestions" : {
43
+ "other" : false ,
44
+ "comments" : false ,
45
+ "strings" : false
46
+ },
47
+ "breadcrumbs.enabled" : false
48
+ }
49
+ }
50
+ },
51
+ "backend" : {
52
+ "config" : {
53
+ "configDirName" : " .arduinoIDE"
54
+ }
55
+ },
56
+ "generator" : {
57
+ "config" : {
58
+ "preloadTemplate" : " <div class='theia-preload' style='background-color: rgb(237, 241, 242);'></div>"
59
+ }
60
+ }
61
+ }
62
+ }
63
+
0 commit comments