File tree
Expand file treeCollapse file tree
2 files changed
+7
-3
lines changedFilter options
- arduino-ide-extension/src/browser
- style
- theia/core
Expand file treeCollapse file tree
2 files changed
+7
-3
lines changedarduino-ide-extension/src/browser/style/editor.css
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/style/editor.css+2-3Lines changed: 2 additions & 3 deletions
Original file line number | Diff line number | Diff line change |
---|---|---|
| ||
1 | 1 |
|
2 | 2 |
|
3 |
| - |
4 |
| - |
5 |
| - |
| 3 | + |
| 4 | + |
6 | 5 |
|
7 | 6 |
|
8 | 7 |
|
|
arduino-ide-extension/src/browser/theia/core/widget-manager.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/theia/core/widget-manager.ts+5Lines changed: 5 additions & 0 deletions
Original file line number | Diff line number | Diff line change |
---|---|---|
| ||
66 | 66 |
|
67 | 67 |
|
68 | 68 |
|
| 69 | + |
| 70 | + |
| 71 | + |
| 72 | + |
| 73 | + |
69 | 74 |
|
70 | 75 |
|
71 | 76 |
|
|
0 commit comments