This repository was archived by the owner on Aug 31, 2021. It is now read-only.
Commit 102476a
committed
[[ Bug 21095 ]] Load required extensions on startup
This patch both ensures that the menu option to not load an extension
on startup in the extension manager is removed from IDE dependencies and
also that IDE dependencies will be loaded regardless of the setting if it
happened to be set in another way or a widget becomes a dependency in a
new version.1 parent 520059b commit 102476a
3 files changed
Lines changed: 10 additions & 6 deletions
File tree
- Toolset
- libraries
- palettes/extension manager
- notes
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1066 | 1066 | | |
1067 | 1067 | | |
1068 | 1068 | | |
1069 | | - | |
| 1069 | + | |
| 1070 | + | |
1070 | 1071 | | |
1071 | 1072 | | |
1072 | 1073 | | |
| |||
Lines changed: 7 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
124 | 124 | | |
125 | 125 | | |
126 | 126 | | |
127 | | - | |
128 | | - | |
129 | | - | |
130 | | - | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
131 | 134 | | |
132 | | - | |
133 | 135 | | |
134 | 136 | | |
135 | 137 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
0 commit comments