File tree Expand file tree Collapse file tree 3 files changed +3
-8
lines changed Expand file tree Collapse file tree 3 files changed +3
-8
lines changed Original file line number Diff line number Diff line change 11{
22 "name" : " jderobot-ide-interface" ,
3- "version" : " 0.1.70 " ,
3+ "version" : " 0.1.71 " ,
44 "main" : " dist/main.js" ,
55 "typings" : " dist/index.d.ts" ,
66 "files" : [
Original file line number Diff line number Diff line change @@ -46,6 +46,7 @@ export const StyledStatusBarEntry = styled.div<StyledStatusBarEntryProps>`
4646 color: ${ ( p ) => p . text ?? primaryColor } ;
4747 display: flex;
4848 align-items: center;
49+ margin: 0 0 0 0;
4950 }
5051` ;
5152
Original file line number Diff line number Diff line change @@ -173,14 +173,8 @@ const DefaultUniverseSelector = ({
173173 try {
174174 const universeConfig = await api . universes . get_config ( project , universe ) ;
175175
176- var tools = universeConfig . tools ;
177-
178- if ( ! tools . includes ( "state_monitor" ) ) {
179- tools . push ( "state_monitor" ) ;
180- }
181-
176+ const tools = universeConfig . tools ;
182177 const world_config = universeConfig . world ;
183-
184178 const robot_config = universeConfig . robot ;
185179
186180 const universe_config = {
You can’t perform that action at this time.
0 commit comments